Исследования по теории алгорифмов и математической логике / 
АН СССР. Вычислительный центр ; Отв. ред. А.А. Маркова и Н.В. Петри. 
 - Москва :  АН СССР. ВЦ ,  1973-  1976. 
 - Том ;  21 см. 
<br/><br/> Том 1 (1973, 285 с.)  Том 2 (1976, 152 с.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Математическая логика