数理逻辑引论2008.04朱梧槚, 肖奚安, 编著 相识数学逻辑2010.8黄忠裕, 赵焕光, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 数理逻辑基础2012.1张振华, 著 数理逻辑导引2017.9冯琦, 编著 逻辑2005.金岳霖, 著 逻辑2011.10金岳霖, 著 逻辑2010.金岳霖, 著 逻辑2007.06雍琦, 编著 FBI逻辑推理学2014.10陈雪, 著 大易数理逻辑2016.12罗翊重, 著 逻辑学基础教程2003.09南开大学哲学逻辑学教研室, 编著 逻辑导论2004.09周祯祥, 胡泽洪, 主编 逻辑大全2017.(英) 奥卡姆, 著