TY  - BOOK
AU  - Мендельсон, Эллиот.
AU  - Кабаков, Ф. А.
AU  - Адян, С. И.
TI  - Введение в математическую логику
PY  - 1976///
CY  - Москва
PB  - Наука
KW  - მათემატიკური ლოგიკა
N1  - лит-ра 296-309 с
ER  -