Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений.
Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математической логики, но она, безусловно, доступна всем, кто интересуется фундаментальными проблемами этого раздела математики.
Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно.
При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно.
За пределы РФ книги не высылаю
Встречи по договоренности исключаются.
Дополнительно: ВНИМАНИЕ ПОКУПАТЕЛЯМ! Буду отсутствовать с 07.06 по 15.06.2024г.
Минимальный заказ - 100 рублей (не нужно докупать ненужные книги, просто скажите, что согласны купить эту книгу за 100 рублей). Уважаемые покупатели! НЕ ЖМИТЕ на кнопку "КУПИТЬ СРАЗУ", так как, даже если Вы не купите книгу, продавец заплатит сайту комиссионные. Через кнопку "СПРОСИТЬ" уточните наличие книги, стоимость доставки и др.... [подробнее]
Дополнительно: Все книги, представленные мною на этом сайте, можно посмотреть здесь: http://www.libex.ru/ppl/usr9627/
Большая просьба - обмен книгами не предлагать!
Не встречаюсь, «самовывоз» возможен ТОЛЬКО из КП «Марсель» (52-й км Калужского шоссе)!!!
Книги высылаю почтой ТОЛЬКО после 100% предоплаты ((стоимость книг(и) + почтовые услуги (от 300 р.,), включая надежную упаковку (гофрокартон) на мою карту ... [подробнее]