Автор: Гильберт Давид

Другие авторы: Бернайс П.

Основное заглавие: Основания математики

Сведения, относящ. к заглавию: логические исчисления и формализация арифметики

Ответственность: пер. с нем. Нагорного Н. М. ; под ред. [и с предисл.] Адяна С. И.

Физический носитель: Текст

Год публикации: 1979

Место издания: Москва

Издательство: Наука

Объем: 557 с.

Серия: Математическая логика и основания математики

Ключевые слова: Физико-математические науки; Математика; Математическая логика

ББК: 22.121