苗启明著1991 年出版202 页ISBN：7542704591
本书提出辩证逻辑领域中包含着哲理逻辑、思维辩证法和辩证思维方式三门学科的观点、并对三门学科进行了探讨。
张霭珠著2004 年出版220 页ISBN：7309042379
本书共分7章，探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长，在保留形式逻辑推理、演绎直观性的前提下，借助数理逻辑的符号演算体系进行逻辑推理。...
李浙生著2017 年出版376 页ISBN：9787516182772
希腊哲学家亚里士多德创立了形式逻辑，数理逻辑是形式逻辑的现代形式。形式逻辑成为科学知识体系的逻辑基础，是建构科学殿堂的工具。亚里士多德更强调矛盾律的重要性，矛盾律是一切证明都需要的最根本的原理，矛盾...
张浩军著2010 年出版166 页ISBN：9787565602429
本书比较完整而系统地探讨了胡塞尔逻辑学思想的发展历程。
