Исследования по неклассическим логикам и теории множеств
Михайлов А.И. (ред.)
Сборник продолжает цикл сборников:
(1972) Исследования по математической лингвистике, математической логике и информационным языкам
(1974) Исследования по формализованным языкам и неклассическим логикам
(1976) Исследования по теории множеств и неклассическим логикам
(1979) Исследования по неклассическим логикам и теории множеств
(1983) Исследования по неклассическим логикам и формальным системам
В сборнике анализируются актуальные вопросы современной логики и оснований математики, представляющие интерес для широкого круга ученых в области естественных наук. Авторы рассматривают вопросы теории множеств, интуиционистской логики, модальных и многозначных логик. Сборник подготовлен к публикации сотрудниками Отдела семиотических проблем информатики ВИНИТИ АН СССР.
(1972) Исследования по математической лингвистике, математической логике и информационным языкам
(1974) Исследования по формализованным языкам и неклассическим логикам
(1976) Исследования по теории множеств и неклассическим логикам
(1979) Исследования по неклассическим логикам и теории множеств
(1983) Исследования по неклассическим логикам и формальным системам
В сборнике анализируются актуальные вопросы современной логики и оснований математики, представляющие интерес для широкого круга ученых в области естественных наук. Авторы рассматривают вопросы теории множеств, интуиционистской логики, модальных и многозначных логик. Сборник подготовлен к публикации сотрудниками Отдела семиотических проблем информатики ВИНИТИ АН СССР.
श्रेणियाँ:
साल:
1979
प्रकाशन:
Наука
भाषा:
russian
पृष्ठ:
375
फ़ाइल:
DJVU, 11.93 MB
IPFS:
,
russian, 1979