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