Вид документа : Однотомное издание Шифр издания : 517/Г 474 Автор(ы) : Гильберт, Давид, Бернайс, Пауль Заглавие : Основания математики. Логические исчисления и формализация арифметики : перевод с немецкого . -2-е изд. Выходные данные : Москва: Наука, 1982 Колич.характеристики :556 с Серия: Математическая логика и основания математики Цена : 2.70, 2.70, р. ГРНТИ : 27 УДК : 517.11 Предметные рубрики: Математический анализ Ключевые слова (''Своб.индексиров.''): элементарная арифметика--процессы вывода--геометрическая интуиция Экземпляры : всего : АБН(2), Х(1) Свободны : АБН(2), Х(1) Доп.точки доступа: Бернайс, Пауль; Нагорный, Н. М. \пер.\; Адян, С.И. \ред.\