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