Исследования по теории алгоритмов и математической логике/ 
Ред. А.А. Марков; Академия наук СССР, Вычислительный центр 
 - Москва:  Наука,  1979. 
 - 134с.  табл. 
<br/><br/>Библиогр. в конце главы 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Математика--Математическая логика
<br/><br/><label>Dewey Class. No.: </label>51.01:16