TY  - BOOK
AU  - Чень, Ч.
AU  - Тян-Ли, Р.
TI  - Математическая логика и автоматическое доказательство теорем
T2  - Математическая логика и основания математики
PY  - 1983///
CY  - М.
PB  - Наука
N2  - Библиогр.: с. 333-349; Библиогр. в конце глав; Алф. указ.: с. 350-358
ER  -