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

Код в каталоге: № 45968

Автор:
Издательство: Мир
Год выпуска:
Состояние: Очень хорошее
Место издания: Москва
Количество страниц: 410
Переплет: Твердый
Формат: Слегка увеличенный
Описание книги

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

Книга посвящена одному из основных разделов математической логики — теории доказательств.

Кроме традиционных результатов по системам первого порядка, таких, как устранимость сечений и полнота интуиционистского и классического исчислений предикатов, неполнота и непротиворечивость арифметики, в книге приводятся недавние достижения в этой области, включая доказательства устранимости сечений в простой теории типов и непротиворечивости ограниченной части математического анализа.

Большое место уделено инфинитарной логике — логике с бесконечно длинными формулами. Многие из приведенных результатов принадлежат самому автору, известному специалисту по теории доказательств.

Книга будет полезна специалистам по математической логике, студентам, аспирантам и всем тем, кто интересуется вопросами оснований математики и математической логикой.

Купить книгу «Теория доказательств» Такеути Г. 1978 года
в книжном интернет-магазине с доставкой по оптимальной цене.
Если данной книги нет в наличии, то вы можете оставить на нее заявку.
При появлении этого букинистического издания в продаже, вы получите об этом уведомление по sms и email.


Хотите продать книги?
Доставка книг по России
и всему миру

Заказать книги почтой

+7 (812) 315-07-85

Хотите продать книги?
Подписка на обновления