高等院校文科试用教材 数理逻辑讲义

DJS-100-30逻辑检查程序使用说明

非形式逻辑与批判性思维

本书是“十五”国家哲学社会科学规划课题的部分研究成果。

逻辑其实很好玩

人们大多在直觉上都这样认为：逻辑学是一个独立的一般哲学分支，它离现实生活过于遥远，无关紧要。其实不然，这本通俗诙谐的逻辑学普及读物告诉你，这样的想法是错误的。它与人类为伴，无时无刻存在于人类生存的每一.....

现代逻辑若干问题研究

国家社会科学出版基金资助项目河南大学学术著作和教材出版基金资助:本书通过建立一阶算术系统PQC以及其他一些方法来证明歌德尔不完全性定理的成立。还论述了关于公理集合论的研究成果。...

离散数学导论 数理逻辑·集合·关系部分

本书内容包括数理逻辑，集合论，二元关系三部分。

提高逻辑力的100人思维游戏

本书收集了提高逻辑力的100个思维游戏，内容新颖，形式多样，适合年轻人阅读。

科学自然叫牌法 逻辑与思维

本书作者在传统自然叫牌法的基础上，创建了一种全新的科学自然叫牌体系。

佛教逻辑

本书为著名佛教专家舍尔巴斯基的又一部名著（其他两种为《大乘佛学》和《小乘佛学》）。本书综合了佛教史、佛教哲学和梵文藏文文献研究的重要成果，以陈那、法称和法上等佛教思想家为主，对东西方逻辑思想的发展进...

数理逻辑

本书为国家十五教材。该书分演绎及其证实，真理与悖论，意义与指称，存在、量化和本体论，休谟问题与归纳逻辑，共五个部分，对逻辑哲学进行了全面系统的概论，同时吸收了近几年国际逻辑哲学方面的最新进展，每一章后......