Библиографический источник

Основания математики

логические исчисления и формализация арифметики / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорного

Заглавие:: Основания математики
Автор:: Гильберт Д.
Место издания:: Москва
Издатель:: Наука
Дата издания:: 1982
Объём:: 556 с.
Серия:: Математическая логика и основания математики
Ключевые слова:: Математическая логика
Язык текста:: Русский