更新时间:-- | 阅读量: 123
莫绍揆著。华中工学院1982年出版。...本书把不使用约束词的部分称为代数，使用约束词的称为演算。第一、二两章论述不使用约束词的部分（逻辑代数）。第一章讨论命题代数，介绍了古典命题逻辑、直觉主义命题逻辑、构造主义命题逻辑和极小命题逻辑，并 ...
搜索到与“ 代数约束”相关的文献共 0条
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
