Исследования по теории алгорифмов и математической логике сборник (Москва, Изд-во ВЦ АН СССР, 1973-)