李娜，南开大学哲学院教授，博士生导师。一直从事现代逻辑的教学与研究。曾经编写过的教材1.《实验逻辑学》第一版，2017年，43万字，南开大学出版社，ISBN978-7-310-06014-6，2021年获天津市高校课程思政优秀教材。2.《实验逻辑学》第二版，2021年，43万字，南开大学出版社，ISBN978-7-310-05351-3，2021年获天津市高校课程思政优秀教材。3.《数理逻辑的思想与方法》，第二版，34万字，南开大学出版社，ISBN978-7-310-05062-8，“十二五”规划教材，2009年获教育部高校科学研究优秀成果3等奖。

数理逻辑中有许多可操作的方法，如真值表方法、形式推理方法等。为配合数理逻辑的学习，本教材将这些方法通过逻辑学习软件LPL（Language,ProofandLogic）展现出来。学习者可以通过在计算机上操作（或者实验）逻辑学习软件LPL，正确理解数理逻辑中的思想，熟练掌握数理逻辑中的方法，也可以配合本教材的慕课“实验逻辑学”进行学习。