TY  - BOOK
AU  - Калужнин,Л.А.
AU  - Глушков,В.М.
TI  - Что такое математическая логика
PY  - 1961///
CY  - Киев
PB  - Б. и.
KW  - Логика
ER  -