Математический интуиционизм. Введение в теорию доказательств
Драгалин А. Г.
Цель этой небольшой книги — изложить важнейшие из методов теории доказательств в интуиционистской логике. Эта теория сейчас не менее богата методами и результатами, чем, например, пользующаяся заслуженной известностью классическая теория моделей. Автор стремился познакомить читателя с основными аксиома тическими теориями, основанными на интуиционистской логике, и их особенностями, часто весьма непривычными даже для специалиста-логика, но привыкшего иметь дело с классической логикой. Можно надеяться, что и специалист по неклассическим логикам обнаружит в книге некоторые новые результаты и методы.
カテゴリー:
年:
1979
出版社:
Наука
言語:
russian
ページ:
256
シリーズ:
Математическая логика и основания математики
ファイル:
DJVU, 3.11 MB
IPFS:
,
russian, 1979
Litres
あなたの書店を追加したいですか？support@z-lib.doまでお問い合わせください。
ファイル拡張子変換機能
検索結果をもっと見る
その他多くの特典 
![Таванец П.В. (ред.) — Проблемы логики [Сборник статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/27e55901677336d152cad151232462056a9b207f70d545fcbf6282af0e274f87.jpg)
![Шехтман В.Б. — Модальные логики топологических пространств [докт. дисс.]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/33e4f810c7c04eaa93c4f90c62d2107c88ba3d2a3cf505d956781f912184c8be.jpg)
