Показать сокращенную информацию
Исследования по неклассическим логикам и формальным системам
dc.contributor.author | Михайлов А.И. (ред.) | |
dc.date.accessioned | 2016-03-24T06:25:08Z | |
dc.date.available | 2016-03-24T06:25:08Z | |
dc.date.issued | 1983 | |
dc.identifier.isbn | ||
dc.identifier.issn | ||
dc.identifier.uri | http://libarch.nmu.org.ua/handle/GenofondUA/68708 | |
dc.description.abstract | Сборник продолжает цикл сборников: (1972) Исследования по математической лингвистике, математической логике и информационным языкам (1974) Исследования по формализованным языкам и неклассическим логикам (1976) Исследования по теории множеств и неклассическим логикам (1979) Исследования по неклассическим логикам и теории множеств (1983) Исследования по неклассическим логикам и формальным системам В сборнике рассматриваются синтаксические и семантические аспекты неклассических логик, а также некоторые вопросы аксиоматической теории множеств. Сборник содержит материалы по модальным, многозначным логикам и статьи, в которых излагаются различные интуиционистские теории и проблемы конструктивизации неклассических логик (трехзначной логики Д.А.Бочвара, бестиповой логики В.А.Аккермана и др.). | |
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 | T3JSFGQKUCJCZLUXCDXJ3YTKCUFZM37P | |
dc.identifier.crc32 | 4DBEB34C | |
dc.identifier.doi | ||
dc.identifier.edonkey | B88E6111B9460B18822B6E34DDCE94DF | |
dc.identifier.googlebookid | ||
dc.identifier.openlibraryid | ||
dc.identifier.udk | ||
dc.identifier.bbk | ||
dc.identifier.libgenid | 1316145 | |
dc.identifier.md5 | a4c17a8e171120bd768c5d1924d1de87 | |
dc.identifier.sha1 | GWQTAOMYW5ASPT44AS2Y4TTRQLLK3KFR | |
dc.identifier.tth | CF5KM53WQ7IED76LME5HAFYAWF5EN3LIYZKMUHI |
Файлы в этом документе
Данный элемент включен в следующие коллекции
-
Libgen [81666]