Основания математики. Том 1-2 → Обява 42757652

к-329-3374343
Основания математики. Том 1-2
Логические исчисления и формализация арифметики
Д. Гильберт, П. Бернайс

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

Т. I. Логические исчисления и формализация арифметики.

Т. II. Теория доказательств