dc.contributor.author | Бочвар Д.А. (ред.) | |
dc.date.accessioned | 2016-02-22T02:21:53Z | |
dc.date.available | 2016-02-22T02:21:53Z | |
dc.date.issued | 1974 | |
dc.identifier.isbn | | |
dc.identifier.issn | | |
dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/43705 | |
dc.description.abstract | Сборник продолжает цикл сборников:
(1972) Исследования по математической лингвистике, математической логике и информационным языкам
(1974) Исследования по формализованным языкам и неклассическим логикам
(1976) Исследования по теории множеств и неклассическим логикам
(1979) Исследования по неклассическим логикам и теории множеств
(1983) Исследования по неклассическим логикам и формальным системам
Сборник содержит статьи по формальным системам без типовых иерархий, основаниям математической логики и теории множеств. Тематика статей сборника включает исследования некоторых неклассических логик и их применения к проблемам теории множеств и основ интуиционистского анализа, а также построения языков, основанных на некоторых представлениях рекурсивных функций. | |
dc.language.iso | Russian | |
dc.publisher | Наука | |
dc.subject | Языкознание | |
dc.subject | Linguistics | |
dc.subject.ddc | | |
dc.subject.lcc | | |
dc.title | Исследования по формализованным языкам и неклассическим логикам | |
dc.type | other | |
dc.identifier.aich | B2QDME6MQ4NGO7IQY3QBJEQSYAGB6H5N | |
dc.identifier.crc32 | 1F107094 | |
dc.identifier.doi | | |
dc.identifier.edonkey | C7B668EE7FE79341FBFF7B819C53153C | |
dc.identifier.googlebookid | | |
dc.identifier.openlibraryid | | |
dc.identifier.udk | | |
dc.identifier.bbk | | |
dc.identifier.libgenid | 320951 | |
dc.identifier.md5 | 4D91B861089BEBC18F9CCBA8C43815F7 | |
dc.identifier.sha1 | AGMHE6J7VQWZXZB6VRE2W2PE2CI7AUDG | |
dc.identifier.tth | ZSU2QDHL5JEUGII2JXHK4TLDGBUJKBHJX5ZCL2Q | |