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