Takeuti, Gaisi.  <br/><br/>
Teorija dokazatel'stv /  
Takeuti Gaisi, Adjan S.I.. 
 - Moskva :   Mir,   1978. 
 - 412 s.;   25 cm.