Исследования по конструктивной математике и математической логике. 1 : (сборник работ) / под редакцией А. О. Слисенко. — Москва : [б. и.], 1967. — 218 с. — (Записки научных семинаров ЛОМИ ; т. 4) - Слисенко, А. О. (Записки научных семинаров ЛОМИ, 1967)