Такеути Г. <br/><br/>
Теория доказательств. 
Такеути Г. 
 - М.  Мир  1978 
 - 412 с. 
<br/><br/><label>Dewey Class. No.: </label>510.6