本书在自然演绎系统的框架内阐述了演绎逻辑的基本内容：命题逻辑、谓词逻辑、模态逻辑和三段论逻辑等。
2006.03
本书让孩子通过书中提供的智能开发猜谜游戏，迅速提高逻辑推理能力。
2006.11
本书主要讲解如何进行阅读、写作与推理。
2006.
本书围绕逻辑学的中心问题——判定推理的有效性，重点阐述真值表方法等逻辑判定技法。
2006.09