TY  - BOOK
AU  - Мендельсон Э.
TI  - Введение в математическую логику
U1  - 510.6 
PY  - 1976///
CY  - М.
PB  - Наука
ER  -