法理逻辑基础2005.10关老健, 编著 面向对象空间逻辑2009.8毛明毅, 陈志成, 何华灿, 著 数学逻辑基础2009.9吴顺子, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 数理逻辑基础2015.11胡世华, 陆钟万, 著 数理逻辑基础2012.1张振华, 著 逻辑2016.3熊明, 著 逻辑学基础教程2003.09南开大学哲学逻辑学教研室, 编著 数理逻辑入门2013.11李锡胤, 编 哲学逻辑2007.(　) 格博尔, 主编 数字逻辑基础2004.05刘延兴, 编著 逻辑学2008.07王法学, 编著 数字逻辑基础2004.01陈光梦, 编著 现代逻辑导论2004.09张学立, 陈锐, 编著 弗协调逻辑2003.01金顺福, 张清宇, 张家龙, 著