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