Online Library TheLib.net » Интуиционистская логика
cover of the book Интуиционистская логика

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

00
07.02.2024
0
0
В книге систематически излагаются основные сведения, относящиеся к интуиционистской логике: мотивировка построения интуиционистской логики в виде исчисления Гейтинга, псевдобулевы алгебры и модели Крипке как аппарат исследования интуиционистских логических и логико-математических систем. Часть представленного в книге материала ранее излагалась только в журнальных статьях. Книга написана на основе специальных курсов, читавшихся авторами в течение ряда лет на механико-математическом и философском факультетах Московского Государственного Университета, имени М. В. Ломоносова. Для чтения книги не требуется никаких предварительных знаний: все необходимые сведения из математической логики излагаются в книге. Книга может служить для первоначального ознакомления с вопросами оснований математики, а также классической и неклассической математической логикой. Книга, предназначена для студентов и аспирантов, а также специалистов по математической логике, информатике и кибернетике.
Download the book Интуиционистская логика for free or read online
Read Download
Continue reading on any device:
QR code
Last viewed books
Related books
Comments (0)
reload, if the code cannot be seen