TY  - BOOK
AU  - Марков,А.А.
TI  - Элементы математической логики
PY  - 1984///
CY  - М.
PB  - Изд-во МГУ
KW  - Математическая логика
ER  -