TY  - BOOK
AU  - Черч,А.
AU  - Чернявский,В.С.
AU  - Успенский,В.А.
TI  - Введение в математическую логику =: Introduction to mathematical logic
PY  - 1960///
CY  - Москва
PB  - Изд-во иностр. лит.
KW  - Математическая логика
ER  -