Chen', Ch <br/><br/>
Matematicheskaia logika i avtomaticheskoe dokazatel'stvo teorem 
Ch. Chen'; P. Li; trad. din lb. engleza: G. V. Davydova; G. E. Mintsa; A. V. Sochilinoj 
 - Moskva  "Nauka" Gl. red. fiz. - mat. lit  1983 
 - 360 p  ill  22 cm 
 - Matematicheskaia logika i osnovaniia matematiki .
<br/><br/> Cuprinde bibliografie pe capitole  Scriere chirilica  Symbolic Logic and Mechanical Theorem Proving - Chin - Liang Chang; Richard Char - Tung Lee (New York; San Francisco; London - Academic Press - 1973) 
<br/><br/><label>Dewey Class. No.: </label>517.11