McCarthy函数和Ackermann函数2017.6刘培杰数学工作室, 编译 逻辑导论2004.09周祯祥, 胡泽洪, 主编 逻辑大全2017.(英) 奥卡姆, 著 逻辑哲学与哲学逻辑2014.2朱建平, 著 逻辑真2016.12邵强进, 著 逻辑导论2016.8王洪, 主编 演绎逻辑2017.10(英) 圣.乔治·斯多克, 著 逻辑体系2014.(英) 穆勒 (Mill,J.S.) , 著 通俗逻辑2017.李天纲, 主编 逻辑体系2017.(英) 穆勒 (Mill,J.S.) , 著 趣味逻辑2016.董栋, 主编 逻辑的思想与方法2005.06苑成存, 著 逻辑与哲学2017.6(美) 保罗·蒂德曼 (Paul Tidman) , (美) 霍华德·卡哈尼 (Howard Kahane) , 著 图式逻辑2012.9刘新文, 著 逻辑大全2005.(英) 奥卡姆, 著