本教材属“南开哲学教材系列”，是作者所负责课程“数理逻辑实验教程”（后改名为“实验逻辑学”）相关配套教材。全书共16章，具体包括以下内容：第1章Tarski’sWorld7.2简介；第2章Fitch3.7简介；第3章 Boole4.2简介；第4章原子语句；第5章原子语句的逻辑；第6章布尔联结词；第7章 布尔联结词逻辑；第8章 布尔逻辑的证明规则；第9章 布尔逻辑的证明方法；第10章 蕴涵；第11章 蕴涵的逻辑；第12章 量词；第13章 量词的逻辑；第14章 多重量词；第15章 量词的证明方法；第16章 量词的证明规则及附录“一些有意义的证明”。
第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参数
……
李娜，女，南开大学哲学院教授，主要研究方向为数理逻辑、模态逻辑、集合论、抽象代数。主持多项数理逻辑国家项目，主编多部教材如《数理逻辑实验教程》（武汉大学出版社，2010年）、《逻辑学实验教程》（南开大学出版社，2012年），《实验逻辑学》（南开大学出版社，2017年），《实验逻辑学》（第二版，南开大学出版社，2021年）并发表多篇数理逻辑高水平研究论文。
