Основания математики: Логические исчисления и формализация арифметики

Список литературы: Библиографическая карточка:

Автор:Гильберт Д. ( Гильберт Давид)
Ответственность:Пер. с нем. Н.М. Нагорного ; Под ред. С.И. Адяна
Место издания:М.
Издательство:Наука
Год издания:1979
Количество страниц:558 с.
Библиография:Алфавитный указ.: с. 551-557
Серия:Математическая логика и основания математики
Авторский знак:Г 47
Тип документа:Монографии
Тип содержания:Научные издания

Поделись с друзьями, за репост + 100 мильонов к студенческой карме :