TY  - BOOK
AU  - Мальцев,Анатолий Иванович
AU  - Нагель,Э.
AU  - Саппас,П.
AU  - Тарский,А.
TI  - Математическая логика и ее применения: Сборник статей : Пер. с англ. 
PY  - 1965///
CY  - Москва
PB  - Мир
KW  - Математическая логика
ER  -