книги Наука, техника, медицина Естественные науки Точные науки Математика Другие издания по математике

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

Код 3572881

Нет в продаже

Аннотация к книге "Комплексная логика"

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

Оставить комментарий

Оцените книгу:

Издательство: Книга по требованию
ISBN: 978-5-458-27195-0

Вместе с этой книгой покупают