TY  - BOOK
AU  - Чень,Ч.
AU  - Ли,Р.
AU  - Давыдов,Г.В.
AU  - Минц,Г.Е.
AU  - Сочилина,А.В.
AU  - Маслов,С.Ю.
TI  - Математическая логика и автоматическое доказательство теорем: Пер. с англ. 
PY  - 1983///
CY  - Москва
PB  - Наука. Гл. ред. физ.-мат. лит.
KW  - Математическая логика
ER  -