《数理逻辑实验教程》是2010年
武汉大学出版社出版的图书，作者是李娜。
内容简介
《数理逻辑实验教程》的目的是为了帮助更多的学生在学习数理逻辑的课程中，利用逻辑软件，更好地理解数理逻辑的思想、更快地掌握数理逻辑的方法。
目录
第一部分 逻辑软件简介
第一章 在线逻辑软件简介
第一节 propositional logic简介
第二节 predicate logic简介
第三节 Tree Proof Generater简介
第二章 LPL Software简介
第一节 Tarski’s World 5．0的命令和操作方法
第二节 Tarski’S World 6．5的命令和操作方法
第三节 Boole 2．5的命令和操作方法
第四节 Fitch 2．5的命令和操作方法
第二部分 命题逻辑
第三章 简单命题
第一节 简单命题
第二节 集论语言和算术语言
第三节 广义的一阶语言
第四节 证明方法
第五节 形式证明方法
练习
第四章 复合命题(一)
……
第三部分 量词逻辑
参考文献