• русский
    • українська
    • 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
4d91b861089bebc18f9ccba8c43815f7.djvu (3.243Mb)
Date
1974
Author
Бочвар Д.А. (ред.)
Metadata
Show full item record
Abstract
Сборник продолжает цикл сборников: (1972) Исследования по математической лингвистике, математической логике и информационным языкам (1974) Исследования по формализованным языкам и неклассическим логикам (1976) Исследования по теории множеств и неклассическим логикам (1979) Исследования по неклассическим логикам и теории множеств (1983) Исследования по неклассическим логикам и формальным системам Сборник содержит статьи по формальным системам без типовых иерархий, основаниям математической логики и теории множеств. Тематика статей сборника включает исследования некоторых неклассических логик и их применения к проблемам теории множеств и основ интуиционистского анализа, а также построения языков, основанных на некоторых представлениях рекурсивных функций.
URI
http://ir.nmu.org.ua/handle/GenofondUA/43705
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