Показать сокращенную информацию
Математический интуиционизм. Введение в теорию доказательств
dc.contributor.author | Драгалин А. Г. | |
dc.date.accessioned | 2016-02-21T20:48:11Z | |
dc.date.available | 2016-02-21T20:48:11Z | |
dc.date.issued | 1979 | |
dc.identifier.isbn | ||
dc.identifier.issn | ||
dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/37823 | |
dc.description.abstract | Цель этой небольшой книги — изложить важнейшие из методов теории доказательств в интуиционистской логике. Эта теория сейчас не менее богата методами и результатами, чем, например, пользующаяся заслуженной известностью классическая теория моделей. Автор стремился познакомить читателя с основными аксиома тическими теориями, основанными на интуиционистской логике, и их особенностями, часто весьма непривычными даже для специалиста-логика, но привыкшего иметь дело с классической логикой. Можно надеяться, что и специалист по неклассическим логикам обнаружит в книге некоторые новые результаты и методы. | |
dc.language.iso | Russian | |
dc.publisher | Наука | |
dc.subject | Математика\\Математическая логика | |
dc.subject | Mathematics\\Logic | |
dc.subject.ddc | ||
dc.subject.lcc | ||
dc.title | Математический интуиционизм. Введение в теорию доказательств | |
dc.type | other | |
dc.identifier.aich | BEBZKS2ODBWRBHXGJ4EYDSVZ3C3IMEP7 | |
dc.identifier.crc32 | 9E7A2962 | |
dc.identifier.doi | ||
dc.identifier.edonkey | E10E83FE9F81273A83CAFCF7B11CB8B6 | |
dc.identifier.googlebookid | ||
dc.identifier.openlibraryid | ||
dc.identifier.udk | 517 | |
dc.identifier.bbk | 22.12 | |
dc.identifier.libgenid | 876184 | |
dc.identifier.md5 | 2dd5aada43934723fd3903af0c3c61fc | |
dc.identifier.sha1 | LGDHFYJAYSYPOZXZ7NGLNKWPIQ6MMBTB | |
dc.identifier.tth | WY3RAOENJJ4VT5JDJVBDRUDKXQQNZXJSOZPIQEA |
Файлы в этом документе
Данный элемент включен в следующие коллекции
-
Libgen [81666]