刘延兴著2004 年出版122 页ISBN:7113058132
本书为《数字逻辑基础》的配套习题集,是作者多年任教期间所收集的各类考题,提供给读者作为自我测验,巩固所学知识。
彭漪涟著1991 年出版256 页ISBN:7208009872
本书追索30年代我国学术界展开的有关形式逻辑与辩证法相互关系的论战,内容有严复、梁启超、王国维、章太炎、胡适、章士钊等人。
杜雄柏主编2001 年出版367 页ISBN:7810533576
本书详细介绍了有关逻辑学的基本知识、概念、简单命题及其推理、复合命题及其推理、模态命题及其推理、归纳推理、类比推理和假说、逻辑思维的基本规律、论证与反驳、论说文的逻辑分析等内容。...
张清宇,郭世铭,李小五著2007 年出版435 页ISBN:7802303990
本书主要内容为一阶逻辑、模态逻辑、时态逻辑、条件句逻辑、弗协逻辑和哥德尔不完全性定理。本书具有较高的学术价值,在理论或实践上有重要意义,对推动学科建设与发展有重要作用。...