Вид документа : Однотомное издание Шифр издания : 22.12/Г 47 Автор(ы) : Гильберт Д., Бернайс П. Заглавие : Основания математики. Логические исчисления и формализация арифметики : пер. с нем. . -2-е изд. Выходные данные : Б.м., 1982 Колич.характеристики :556,[4] с Серия: Математическая логика и основания математики Цена : 2.70 р. ББК : 22.12 Предметные рубрики: Математика Экземпляры : всего : Ч.з.1(5) Свободны : Ч.з.1(5) Доп.точки доступа: Бернайс, П.; Нагорный, Н.М. \пер.\; Адян, С.И. \ред.\