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