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