本书直观而又严谨地阐述了原子语句、布尔逻辑、蕴涵、多重量词的概念，为逻辑学科学生利用计算机系统掌握数理逻辑实验方法提供了方便，语言简练，通俗易懂。该书结构合理，循序渐进，是一本的好教材。

第1章Tarski'sWorld7.2简介
1.1入门指南
1.2世界控制板
1.3语句控制板
1.4验证语法和真
1.5玩游戏
1.6参数
第2章Fitch3.7简介
2.1入门指南
2.2创建和编辑证明
2.3目标
2.4复制和粘贴
2.5导出文本
2.6建立练习
2.7参数设置
第3章Boole4.2简介
3.1入门指南
3.2编写真值表
3.3指定评价
3.4验证你的表
3.5保存或导出你的文本
3.6参数
……