Гильберт Д., Бернайс П., Основания математики. Теория доказательств.
Перевод с английского. Серия Математическая логика и основания математики.

1982, изд-во: Наука, город: Москва, стр. : 656 стр., обложка: Твердый издательский переплет с суперобложкой., формат: Немного увеличенный., состояние: Отличное-очень хорошее. Немного загрязнены обрезы. . Двухтомная монография Д. Гильберта и П. Бернайса "Основания математики" занимает уникальное место в мировой математической литературе. Она отличается исключительной глубиной содержания и тщательностью изложения. Для широкого круга читателей она привлекательна тем, что основополагающие идеи теории доказательства излагаются в ней более обстоятельно и менее формализованно.