本教材属“南开哲学教材系列”,是作者所负责课程“数理逻辑实验教程”(后改名为“实验逻辑学”)相关配套教材。全书共16章,具体包括以下内容:第1章Tarski’sWorld7.2简介;第2章Fitch3.7简介;第3章?Boole4.2简介;第4章原子语句;第5章原子语句的逻辑;第6章布尔联结词;第7章?布尔联结词逻辑;第8章?布尔逻辑的证明规则;第9章?布尔逻辑的证明方法;第10章?蕴涵;第11章?蕴涵的逻辑;第12章?量词;第13章?量词的逻辑;第14章?多重量词;第15章?量词的证明方法;第16章?量词的证明规则及附录“一些有意义的证明”。