TY  - BOOK
AU  - Козмидиади, В.А.
AU  - Мучник, А.А.
TI  - Проблемы математической логики
T2  - Библиотека "Кибернетического сборника"
PY  - 1970///
CY  - Москва
PB  - Мир
KW  - Математическая логика
KW  - Сборники
KW  - psbo
N2  - Библиогр. в конце статей
ER  -