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