Математический интуиционизм. Введение в теорию доказательствКНИГИ » НАУКА И УЧЕБА
Название: Математический интуиционизм. Введение в теорию доказательств Автор: Драгалин А.Г. Издательство: Наука Год: 1979 Формат: PDF Страниц: 256 Размер: 13,41 Мб Язык: русский
Цель этой небольшой книги — изложить важнейшие из методов теории доказательств в интуиционистской логике. Эта теория сейчас не менее богата методами и результатами, чем, например, пользующаяся заслуженной известностью классическая теория моделей. Автор стремился познакомить читателя с основными аксиоматическими теориями, основанными на интуиционистской логике, и их особенностями, часто весьма непривычными даже для специалиста-логика, но привыкшего иметь дело с классической логикой.
Навигация
Вход на сайт
Реклама
Математический интуиционизм. Введение в теорию доказательств 
