柯华庆著2014 年出版138 页ISBN：9787542646132
本书是关于直觉主义逻辑的语义基础展开了详尽讨论。作者对其中涉及到的一些基本概念进行了详尽的探讨，试图建立起直觉主义的构造性概念与经典数学对构造性的理解之间的关系，在直觉主义的几本观念上提出了一些...
袁放著2014 年出版199 页ISBN：9787564725433
本书基于悖论问题的考究，引入“规域律”、“规述律”、“规演律”、“介”概念、属涵推理（兼容并严格区别于传统演绎推理）、“逻辑性”等相当部分新理念，对传统逻辑规律及逻辑取值等内容进行大幅度改进，形成完整...
（加拿大）布朗，（加拿大）弗拉内希奇著2011 年出版651 页ISBN：9787302240990
本书介绍了数字电路、组合逻辑电路、同步时序电路、异步时序电路，以及VHDL语言等内容，结合大量电路图和例题，深入浅出地介绍了数字逻辑设计的相关知识。...
杜国平编著2006 年出版266 页ISBN：7040189526
本书是教育部研究生推荐教学用书。主要介绍了经典逻辑的基本理论，命题演算和一阶谓词演算以及20世纪20年代至今发展起来的非经典逻辑的主要分支（模态逻辑、时态逻辑、弗协调逻辑和直觉主义逻辑）。在本教材中，语...
徐平利著2010 年出版520 页ISBN：9787563360772
本书主要从以下四个方面展开论述：1．职业和教育、工作和财富等基本问题的历史哲学思考。2．职业教育的历史逻辑考察（主体部分）。3．基于历史逻辑的职业教育哲学基础分析（主体部分）。4．职业教育发展得未来趋势和......
