Такеути, Г. <br/><br/>
Теория доказательств :  Пер. с англ. / 
Г. Такеути ; Пер. с англ. С.К. Соболева ; Под ред. С.И. Адяна. 
 - Москва :  Мир ,  1978. 
 - 412 с. 
<br/><br/>
<br/><br/><label>Subjects--Topical Terms: </label><br/>Теория доказательств<br/>Математическая логика