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