TY  - BOOK
AU  - Чень Ч.
AU  - Ли Р.
TI  - Математическая логика и автоматическое доказательство теорем. (Мат. логика и основания математики)
U1  - 510.6 
PY  - 1983///
CY  - М.
PB  - Наука
ER  -