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