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

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

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

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

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

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

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

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

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

Объем: 652 с.

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

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

ББК: 22.121