Накупить товаров
в интернет-магазине!
в интернет-магазине!
| Главная | Каталог |
» Каталог
» Книги » Технические и естественные науки » Естественные науки » Физико-математические науки » Математика
Каталог товаров:
 |
Комплексная логика965 руб
В ней рассматриваются общая теория дедукции и её расширения, включая теорию предикации, кванторов, условных форм, модальностей, существования, норм, терминов, отношений и физического следования. В книге систематическое изложение формального аппарата разработанной автором комплексной логики. Воспроизведено в оригинальной авторской орфографии издания 1970 года (издательство "Наука"). Автор приводит доказательства непротиворечивости и полноты систем комплексной логики относительно определённых семантических интерпретаций, выясняет место классической и интуиционистской логик в теории логического следования. 2012 |