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

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

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

 

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