Удивительная книга. Как никогда актуальна сегодня. Язык и стиль автора настолько тонок, лёгок и изыскан, что легко поведёт читателя в мир героев, кото...
Данное учебное пособие посвящено введению в высшую алгебру. В нем рассматриваются свойства основных алгебраических структур: групп, колец, полей. Основное внимание в книге сфокусировано на теории...
В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского...