• русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • English 
    • русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • Login
View Item 
  •   DSpace Home
  • Genofond
  • Libgen
  • View Item
  •   DSpace Home
  • Genofond
  • Libgen
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Исследования по неклассическим логикам и формальным системам

Thumbnail
View/Open
a4c17a8e171120bd768c5d1924d1de87.djvu (10.25Mb)
Date
1983
Author
Михайлов А.И. (ред.)
Metadata
Show full item record
Abstract
Сборник продолжает цикл сборников: (1972) Исследования по математической лингвистике, математической логике и информационным языкам (1974) Исследования по формализованным языкам и неклассическим логикам (1976) Исследования по теории множеств и неклассическим логикам (1979) Исследования по неклассическим логикам и теории множеств (1983) Исследования по неклассическим логикам и формальным системам В сборнике рассматриваются синтаксические и семантические аспекты неклассических логик, а также некоторые вопросы аксиоматической теории множеств. Сборник содержит материалы по модальным, многозначным логикам и статьи, в которых излагаются различные интуиционистские теории и проблемы конструктивизации неклассических логик (трехзначной логики Д.А.Бочвара, бестиповой логики В.А.Аккермана и др.).
URI
http://libarch.nmu.org.ua/handle/GenofondUA/68708
Collections
  • Libgen [81666]

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

DSpace software copyright © 2002-2016  DuraSpace
Contact Us | Send Feedback
Theme by 
Atmire NV