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

Комплексная логика

Thumbnail
Mostra/Apri
6c06aade3d2c842649dc7985ad9705bd.djvu (2.204Mb)
Data
1970
Autore
Зиновьев Александр Александрович
Metadata
Mostra tutti i dati dell'item
Abstract
В книге дается систематическое изложение формального аппарата разработанной автором комплексной логики. В ней рассматривается общая теория дедукции и ее расширения, включая теорию предикации, кванторов, условных форм, модальностей, существования, норм, терминов, отношений и физического следования. Автор приводит доказательства непротиворечивости и полноты систем комплексной логики относительно определенных семантических интерпретаций, выясняет место классической и интуиционистской логик в теории логического следования. ОТВЕТСТВЕННЫЙ РЕДАКТОР П. В. ТАВАНЕЦ
URI
http://ir.nmu.org.ua/handle/GenofondUA/50993
Collections
  • Libgen [81666]

DSpace software copyright © 2002-2016  DuraSpace
Contattaci | Manda Feedback
Theme by 
Atmire NV
 

 

Ricerca

Tutto DSpaceArchivi & CollezioniData di pubblicazioneAutoriTitoliSoggettiQuesta CollezioneData di pubblicazioneAutoriTitoliSoggetti

My Account

LoginRegistrazione

DSpace software copyright © 2002-2016  DuraSpace
Contattaci | Manda Feedback
Theme by 
Atmire NV