TY  - BOOK
AU  - Кутасов, А.Д.
TI  - Элементы математической логики
PY  - 1977///
CY  - Москва
PB  - Просвещение
KW  - Математическая логика
KW  - rkp
ER  -