Теория алгорифмов и математическая логика/ 
Академиа  наук  СССР Вычислительный центр; ред: Б. А. Кушнер,  Н. М.  Нагорный 
 - Москва:  1974 
 - 216 с. 
<br/><br/>Библиогр.: в конце главы 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Математическая логика