Том 1: Логические исчисления и формализация арифметики, 560 стр., 1979 г

Том 2: Теория доказательств, 653 стр., 1982 г.

*

Перевод с немецкого

Н. М. НАГОРНОГО

Под редакцией

С. И. АДЯНА

*

От вътрешната страна на обложката:

Двухтомная (монография Д. Гильберта и П. Бернайса «Основания математики» за­нимает уникальное место в мировой математической ли­тературе. Ее первое немецкое издание, вышедшее в 30-х годах, подвело итог процессу становления математической логики как самостоятельной дисциплинь: со [своей пробле­матикой и своими методами. Отличающаяся исключитель­ной глубиной содержания и тщательностью изложения, книга Гильберта и Бернайса до сих пор пользуется большой популярностью среди специа­листов и оказывает влияние на развитие математической логики.

В 1968 году издательство Шпрингера выпустило второе немецкое издание этой книги.

Для широкого круга чита­телей книга привлекательна тем, что в ней основополага­ющие идеи теории доказа­тельств излагаются более обстоятельно и менее форма­лизованно, чем где-либо в дру­гом месте.

Можно думать, что выход книги Гильберта и Бернайса на русском языке будет с удов­летворением встречен в на­шей стране не только специ­алистами по математической логике, но также и всеми квалифицированными матема­тиками, которые в той или иной мере интересуются воп­росами основании математи­ки, ролью математики в сов­ременной науке, глубокими проблемами, стоящими пе­ред математикой и математи­ками независимо от их узкой специальности.

*

Серия «Математическая логика  и  основания матема­тики» состоит из публикаций, посвященных   вопросам тео­рии математического доказа­тельства, теории алгоритмов, логическим  и логико-матема­тическим исчислениям, исто­рии математической логики и оснований математики, а так­же   различным приложениям математической логики. В се­рию входят монографии, об­зорные  работы   и сборники статей на определенную те­му, принадлежащие перу как отечественных,  так и зару­бежных   ученых.   Они носят различный характер: некото­рые  из них рассчитаны на широкий круг научных работ­ников, преподавателей и сту­дентов, между тем как другие имеют в виду более узкие круги  специалистов различ­ных профилей.