Эта книга известного шведского ученого, профессора Стокгольмского университета Дага Правица была впервые опубликована в Стокгольме в 1965 году. Основной результат книги - строго конструктивное доказательство теоремы о нормальной форме натуральных выводов для классической, интуиционистской и минимальной логик. Доказательство базируется на так называемом принципе инверсии, согласно которому правило удаления логического знака, по существу, является обращением правила введения этого знака.
Дополнительно: Все книги имеются в наличии и высылаются в течении 3 дней. Книги находятся в Курске и высылаются в другие регионы Российской Федерации, а также в Ближнее и Дальнее Зарубежье.
УВАЖАЕМЫЕ ПОКУПАТЕЛИ! УКАЗЫВАЙТЕ ТОЧНЫЙ И ПОЛНЫЙ АДРЕС ДОСТАВКИ В ФОРМЕ ЗАКАЗА. ЭТО ИСКЛЮЧИТ ВОЗМОЖНОСТЬ ВОЗВРАТА ПОЧТОВЫХ ОТПРАВЛЕНИЙ, ТАК КАК ИНАЯ ИНФОРМАЦИЯ О ДОСТАВКЕ В СООБЩЕНИЯХ БЫВАЕТ НЕ ВИДНА
)
отличное;
В продаже с 03.05.2023
