| dc.contributor.author | Зиновьев Александр Александрович | |
| dc.date.accessioned | 2016-02-22T09:02:40Z | |
| dc.date.available | 2016-02-22T09:02:40Z | |
| dc.date.issued | 1970 | |
| dc.identifier.isbn | | |
| dc.identifier.issn | | |
| dc.identifier.uri | http://ir.nmu.org.ua/handle/GenofondUA/50993 | |
| dc.description.abstract | В книге дается систематическое изложение формального аппарата разработанной автором комплексной логики. В ней рассматривается общая теория дедукции и ее расширения, включая теорию предикации, кванторов, условных форм, модальностей, существования, норм, терминов, отношений и физического следования. Автор приводит доказательства непротиворечивости и полноты систем комплексной логики относительно определенных семантических интерпретаций, выясняет место классической и интуиционистской логик в теории логического следования.
ОТВЕТСТВЕННЫЙ РЕДАКТОР
П. В. ТАВАНЕЦ | |
| dc.language.iso | Russian | |
| dc.publisher | Наука | |
| dc.subject | | |
| dc.subject | | |
| dc.subject.ddc | | |
| dc.subject.lcc | | |
| dc.title | Комплексная логика | |
| dc.type | other | |
| dc.identifier.aich | XTRGZZTW4PLFHGPYJY3NDBQOLVKN3YXN | |
| dc.identifier.crc32 | 12A0E771 | |
| dc.identifier.doi | | |
| dc.identifier.edonkey | F19D473658E4514E9C8372BDC551DAFF | |
| dc.identifier.googlebookid | | |
| dc.identifier.openlibraryid | | |
| dc.identifier.udk | | |
| dc.identifier.bbk | | |
| dc.identifier.libgenid | 863798 | |
| dc.identifier.md5 | 6c06aade3d2c842649dc7985ad9705bd | |
| dc.identifier.sha1 | IUFZJZAFYRYB3UJMKMJYDPXA7SWPF2X2 | |
| dc.identifier.tth | VKE4NEWVR6BVVYA2PIKHSIFGOGTSGPFUKE3HEKI | |
