Mostra i principali dati dell'item

dc.contributor.authorЗиновьев Александр Александрович
dc.date.accessioned2016-02-22T09:02:40Z
dc.date.available2016-02-22T09:02:40Z
dc.date.issued1970
dc.identifier.isbn
dc.identifier.issn
dc.identifier.urihttp://ir.nmu.org.ua/handle/GenofondUA/50993
dc.description.abstractВ книге дается систематическое изложение формального аппарата разработанной автором комплексной логики. В ней рассматривается общая теория дедукции и ее расширения, включая теорию предикации, кванторов, условных форм, модальностей, существования, норм, терминов, отношений и физического следования. Автор приводит доказательства непротиворечивости и полноты систем комплексной логики относительно определенных семантических интерпретаций, выясняет место классической и интуиционистской логик в теории логического следования. ОТВЕТСТВЕННЫЙ РЕДАКТОР П. В. ТАВАНЕЦ
dc.language.isoRussian
dc.publisherНаука
dc.subject
dc.subject
dc.subject.ddc
dc.subject.lcc
dc.titleКомплексная логика
dc.typeother
dc.identifier.aichXTRGZZTW4PLFHGPYJY3NDBQOLVKN3YXN
dc.identifier.crc3212A0E771
dc.identifier.doi
dc.identifier.edonkeyF19D473658E4514E9C8372BDC551DAFF
dc.identifier.googlebookid
dc.identifier.openlibraryid
dc.identifier.udk
dc.identifier.bbk
dc.identifier.libgenid863798
dc.identifier.md56c06aade3d2c842649dc7985ad9705bd
dc.identifier.sha1IUFZJZAFYRYB3UJMKMJYDPXA7SWPF2X2
dc.identifier.tthVKE4NEWVR6BVVYA2PIKHSIFGOGTSGPFUKE3HEKI


Files in questo item

Thumbnail

Questo item appare nelle seguenti collezioni

Mostra i principali dati dell'item