TY  - BOOK
AU  - Гильберт,Давид
AU  - Бернайс,Пауль
AU  - Адян,С.И.
AU  - Нагорний,Н.М.
TI  - Основания математики: Логические исчисления и формализация арифметики
U1  - 51.01:16 
PY  - 1979///
CY  - Москва
PB  - Наука
KW  - Математика
KW  - Математическая логика
ER  -