TY  - BOOK
AU  - Мендельсон,Э.
TI  - Введение в математическую логику: пер. с англ
PY  - 1984///
CY  - М.
PB  - Наука
KW  - Математическая логика
ER  -