Логика высказываний учебное пособие
Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании. Подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики...
Сохранить в:
主要作者: | |
---|---|
格式: | Книга |
主題: | |
在線閱讀: | Перейти к просмотру издания |
標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
實物描述: | Книга находится в премиум-версии IPR SMART. |
---|---|
ISBN: | 978-5-19-011105-7 |