Основания математики. В 2-х книгах. Книга 1. Логические исчисления и формали

Двухтомная монография Д. Гильберта и П. Бернайса `Основания математики` занимает уникальное место в мировой математической литературе. Ее первое немецкое издание, вышедшее в 30-х годах, подвело итог процессу становления математической логики как самостоятельной дисциплины со своей проблематикой и своими методами, отличающаяся исключительной глубиной содержания и тщательностью изложения, монография Гильберта и Бернайса пользуется большой популярностью среди специалистов и оказывает влияние на развитие математической логики. /// Содержание: 1. Проблема непротиворечивости в аксиоматических исследованиях как логическая проблема разрешимости. / 2. Элементарная арифметика. Финитный способ рассуждений и его границы. / 3. Формализация процесса логического вывода. I. Исчисление высказываний. / 4. Формализация процесса вывода. II. Исчисление предикатов. / 5. Исчисление предикатов с равенством. Полнота одноместного исчисления предикатов. / 6. Непротиворечивость существования бесконечных индивидных областей. Начала арифметики. / 7. Рекурсивные определения. / 8. Понятие "тот, который" и его устранимость.