Ebook: Интуиционистская логика

В книге систематически излагаются основные сведения, относящиеся к интуиционистской логике: мотивировка построения интуиционистской логики в виде исчисления Гейтинга, псевдобулевы алгебры и модели Крипке как аппарат исследования интуиционистских логических и логико-математических систем. Часть представленного в книге материала ранее излагалась только в журнальных статьях. Книга написана на основе специальных курсов, читавшихся авторами в течение ряда лет на механико-математическом и философском факультетах Московского Государственного Университета, имени М. В. Ломоносова. Для чтения книги не требуется никаких предварительных знаний: все необходимые сведения из математической логики излагаются в книге. Книга может служить для первоначального ознакомления с вопросами оснований математики, а также классической и неклассической математической логикой. Книга, предназначена для студентов и аспирантов, а также специалистов по математической логике, информатике и кибернетике.