TY  - GEN
AU  - Chen', Ch
AU  - P. Li
TI  - Matematicheskaia logika i avtomaticheskoe dokazatel'stvo teorem
U1  - 517.11 
PY  - 1983///
CY  - Moskva
PB  - "Nauka" Gl. red. fiz. - mat. lit
N1  - 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)
ER  -