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