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

1979, изд-во: Наука, город: Москва, стр. : 558 стр., обложка: Твердый издательский переплет с суперобложкой., формат: Немного увеличенный., состояние: Очень хорошее у суперобложки. У книги загрязнения у бокового и нижнего обрезов. . Давид Гильберт (23 января 1862 — 14 февраля 1943) — немецкий математик-универсал, внес значительный вклад в развитие многих областей математики. . Пауль Исаак Бернайс (17 октября 1888, Лондон — 18 сентября 1977, Цюрих) — швейцарский математик, известный своими работами в области математической логики, аксиоматической теории множеств и философии математики. Был другом и многолетним сотрудником Давида Гильберта. Содержание: 1. Проблема непротиворечивости в аксиоматических исследованиях как логическая проблема разрешимости, 2. Элементарная арифметика. Финитный способ рассуждений и его границы, 3. Формализация процесса логического вывода: Исчисление высказываний, 4. Формализация процесса вывода: Исчисление предикатов, 5. Исчисление предикатов с равенством. Полнота одноместного исчисления предикатов, 6. Непротиворечивость существования бесконечных индивидных областей. Начала арифметики, 7. Рекурсивные определения, 8. Понятие `тот, который` и его устранимость.