Ликбез

А.Г. Драгалин. Математический интуиционизм

А.Г. Драгалин. Математический интуиционизм

Цель этой небольшой книги — изложить важнейшие из методов теории доказательств в интуиционистской логике. Эта теория сейчас не менее богата методами и результатами, чем, например, пользующаяся заслуженной известностью классическая теория моделей. Автор стремился познакомить читателя с основными аксиоматическими теориями, основанными на интуиционистской логике, и их особенностями, часто весьма непривычными даже для специалиста-логика, но привыкшего иметь дело с классической логикой.

Издательство: Наука
Год: 1979
Формат: PDF
Страниц: 256
Язык: русский

 

Скачать книгу (13,4 МБ):

Этот блок был удален по требованию правообладателя. Если вы считаете, что это ошибка, обратитесь к Администратору.
gefexi 25/12/21 Просмотров: 1355
+1