Основания математики Теория доказательств Серия: Математическая логика и основания математики инфо 5139q.

Переводчик: Н Нагорный Двухтомная монография ДГильберта и ПБернайса "Основания математики" занимает уникальное место в мировой математической литературе Она отличается исключительной глуббытбниной содержания и тщательностью изложения Для широкого круга читателей она привлекательна тем, что основополагающие идеи теории доказательства излагаются в ней более обстоятельно и менее формализованно Перевод с немецкого Авторы Давид Гильберт David Hilbert Паувйввфль Бернайс Paul Bernays.