TY  - BOOK
AU  - Гильберт,Давид
AU  - Бернайс,Пауль
AU  - Нагорный,Н.М.
AU  - Ադյան,Սերգեյ Իվանի
TI  - Основания математики: Логические исчисления и формализация арифметики 
PY  - 1979///
CY  - Москва
PB  - Наука. Гл. ред. физ.-мат. лит.
KW  - Комбинаторный анализ
ER  -