简明实验逻辑学

书名：简明实验逻辑学
作者：李娜编著
ISBN：978-7-310-06432-8
出版社：南开大学出版社
出版日期：2023.04
本教材属“南开哲学教材系列”，是作者所负责课程“数理逻辑实验教程”（后改名为“实验逻辑学”）相关配套教材。全书共16章，具体包括以下内容：第1章 Tarski's World 7.2简介；第2章 Fitch 3.7简介；第3章 Boole 4.2简介；第4章 原子语句；第5章 原子语句的逻辑；第6章 布尔联结词；第7章 布尔联结词逻辑；第8章 布尔逻辑的证明规则；第9章 布尔逻辑的证明方法；第10章 蕴涵；第11章 蕴涵的逻辑；第12章 量词；第13章 量词的逻辑；第14章 多重量词；第15章 量词的证明方法；第16章 量词的证明规则及附录“一些有意义的证明”。本书可作为大学逻辑学专业高年级本科生、研究生的逻辑推理课程的教材，也可作为高校相关专业教师的参考书。