Исследования по теории алгорифмов и математической логике / АН СССР. Вычислительный центр ; Отв. ред. А.А. Марков и В.И. Хомич. - Москва : АН СССР. ВЦ , 1979. - 134 с. ISBN: 1.30 Subjects--Topical Terms: Математическая логика