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

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

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

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

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

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

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

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

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

Объем: 556 с.

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

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

ББК: 22.121