Математический интуиционизм. Введение в теорию доказательств
Драгалин А. Г.
Цель этой небольшой книги — изложить важнейшие из методов теории доказательств в интуиционистской логике. Эта теория сейчас не менее богата методами и результатами, чем, например, пользующаяся заслуженной известностью классическая теория моделей. Автор стремился познакомить читателя с основными аксиома тическими теориями, основанными на интуиционистской логике, и их особенностями, часто весьма непривычными даже для специалиста-логика, но привыкшего иметь дело с классической логикой. Можно надеяться, что и специалист по неклассическим логикам обнаружит в книге некоторые новые результаты и методы.
Կատեգորիաներ:
Տարի:
1979
Հրատարակչություն:
Наука
Լեզու:
russian
Էջեր:
256
Սերիաներ:
Математическая логика и основания математики
Ֆայլ:
DJVU, 3.11 MB
IPFS:
,
russian, 1979