Книга посвящена одному из основных разделов математической логики - теории доказательств. Кроме традиционных результатов по системам первого порядка, таких, как устранимость сечений и полнота интуиционистского и классического исчисления предикатов, неполнота и непротиворечивость арифметики, в книге приводятся недавние достижения в этой области, включая доказательство устранимости сечений в простой теории типов и непротиворечивости ограниченной части математического анализа. Большое место уделено инфинитарной логике - логике с бесконечно длинными формулами. Многие из приведенных результатов принадлежат самому автору, известному специалисту по теории доказательств. Книга будет полезна специалистам по математической логике, студентам, аспирантам и всем тем, кто интересуется вопросами оснований математики и математической логикой.
Формат - 145 х 220 мм
Дополнительно: ОБЯЗАТЕЛЬНО ПРОЧТИТЕ ПЕРЕД ЗАКАЗОМ!
Уважаемые покупатели! Думаю, до конца декабря возможны проблемы с поиском заказанных книг. Склад переезжает на новый адрес, и как следствие образовался "бардак", с которым очень сложно и трудоемко бороться. Приношу Вам свои извинения, и надеюсь на Ваше понимание.
С уважением, Геннадий.
Оплата наличными или на карту при встрече. ПОСТОЯННОЕ МЕСТО ВСТРЕЧ У... [подробнее]
Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно.
При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно.
За пределы РФ книги не высылаю
Встречи по договоренности исключаются.
)
отличное;
В продаже с 17.04.2024
