Комплексная логика
Зиновьев Александр Александрович
В книге дается систематическое изложение формального аппарата разработанной автором комплексной логики. В ней рассматривается общая теория дедукции и ее расширения, включая теорию предикации, кванторов, условных форм, модальностей, существования, норм, терминов, отношений и физического следования. Автор приводит доказательства непротиворечивости и полноты систем комплексной логики относительно определенных семантических интерпретаций, выясняет место классической и интуиционистской логик в теории логического следования.
ОТВЕТСТВЕННЫЙ РЕДАКТОР
П. В. ТАВАНЕЦ
ОТВЕТСТВЕННЫЙ РЕДАКТОР
П. В. ТАВАНЕЦ
Κατηγορίες:
Έτος:
1970
Εκδότης:
Наука
Γλώσσα:
russian
Σελίδες:
204
Αρχείο:
DJVU, 2.20 MB
IPFS:
,
russian, 1970
Litres
Θέλετε να προσθέσετε βιβλιοπωλείο; Επικοινωνήστε μαζί μας στο support@z-lib.do
File converter
Περισσότερα αποτελέσματα αναζήτησης
More benefits 
![Нарский И.С. (ред) — Проблемы логики и теории познания [Сборник статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/6fe7f26a028e40ebd50052e38e4fb4ff5c3115e9a2a91b48c684d3ca5fd3bae8.jpg)
![Таванец П.В. (ред.) — Проблемы логики [Сборник статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/27e55901677336d152cad151232462056a9b207f70d545fcbf6282af0e274f87.jpg)
![Таванец П.В. (ред.) — Исследование логических систем [сборник статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/b978416db4eb48a715030a076a584c13538f059725992fad72f8f04e4f467897.jpg)
Φράσεις κλειδιά
Σχετικές λίστες βιβλίων
