- Добавил: Почемучка
- Дата: 4-01-2018, 17:08
- Комментариев: 0

Название: Теория доказательств
Автор: Такеути Г.
Издательство: М.: Мир
Год: 1978
Формат: PDF
Страниц: 412
Размер: 32.9 MB
Язык: Русский
Книга посвящена одному из основных разделов математической логики — теории доказательств. Кроме традиционных результатов по системам первого порядка, таких, как устранимость сечении и полнота интуиционистского и классического исчислений
предикатов, неполнота и непротиворечивость арифметики в книге приводятся недавние достижения в этой области, включая доказательства устранимости сечений в простой теории типов и непротиворечивости ограниченной части математического анализа.