|
|
libcats.org
Теория доказательствТакеути Г.Книга посвящена одному из основных разделов математической логики - теории доказательств. Кроме традиционных результатов по системам первого порядка, таких, как устранимость сечений и полнота интуиционистского и классического исчислений предикатов, неполнота и непротиворечивость арифметики в книге приводятся недавние достижения в этой области, включая доказательства устранимости сечений в простой теории типов и непротиворечивости ограниченной части математическою анализа. Большое место уделено инфинитарной логике - логике с бесконечно длинными формулами. Многие из приведенных результатов принадлежат самому автору, известному специалисту по теории доказательств. Книга будет полезна специалистам по математической логике студентам, аспирантам и всем тем, кто интересуется вопросами оснований математики и математической логикой.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Момент истины (В августе сорок четвертого...)Автор: Богомолов Владимир ОсиповичКатегория: О войне
Размер книги: 1.83 Mb
Только что пользователи скачали эти книги:
Помехозащищенность систем радиосвязи с расширением спектраАвтор: Борисов В.И., Автор: и др.Категория: E_Engineering, EE_Electrical engineering
Размер книги: 4.55 Mb
Molecules and Models: The Molecular Structures of Main Group Element CompoundsАвтор: Arne HaalandКатегория: Математика, Прикладная математика
Размер книги: 2.41 Mb
Teach Yourself VISUALLY Digital Video, 2nd Edition (Teach Yourself VISUALLY (Tech))Автор: Lonzell WatsonКатегория: Образование, Самоучители
Размер книги: 95.91 Mb
Institutions and the Role of the State (New Horizons in Institutional and Evolutionary Economics Series)Автор: Leonardo Burlamaqui, Автор: Ana Celia Castro, Автор: Ha-Joon ChangКатегория: Экономика
Размер книги: 4.88 Mb
Data Analysis Methods in Physical OceanographyАвтор: W. J. Emery, Автор: Richard E. Thomson
Размер книги: 36.04 Mb
Images and Ideologies: Self-definition in the Hellenistic World (Hellenistic Culture and Society)Автор: Anthony W. Bulloch, Автор: Erich S. Gruen, Автор: A. A. Long, Автор: Andrew Stewart
Размер книги: 4.81 Mb
|
|
|