- В книге систематическое изложение формального аппарата разработанной автором комплексной логики. В ней рассматриваются общая теория дедукции и её расширения, включая теорию предикации, кванторов, условных форм, модальностей, существования, норм, терминов, отношений и физического следования. Автор приводит доказательства непротиворечивости и полноты систем комплексной логики относительно определённых семантических интерпретаций, выясняет место классической и интуиционистской логик в теории логического следования. Воспроизведено в оригинальной авторской орфографии издания 1970 года (издательство "Наука ").Внимание! На данный товар не распространяются ни оптовые, ни накопительные скидки. Эта книга будет изготовлена в соответствии с Вашим заказом по технологии Print-on-Demand. Print-on-Demand - это технология печати книг по Вашему заказу на цифровом типографском оборудовании.