TY  - BOOK
AU  - Мендельсон, Э.
AU  - Кабаков, Ф.А.
AU  - Адян, С.И.
TI  - Введение в математическую логику
PY  - 1971///
CY  - Москва
PB  - Наука
KW  - Математическая логика
KW  - psbo
N2  - Список лит.: с. 296-309; Алф. указ.: с. 310-317
ER  -