逻辑2019.8金岳霖, 著
应用逻辑2007.07(美) 尼罗德 (Nerode,A.) , (美) 肖尔 ( Shore,R.A.) , 著
符号逻辑2016.4(美) 安格勒 (Agler,D.W.) , 著
逻辑、语言与认知2018.1黄华新, 等著
简单的逻辑学2011.4(美) 麦克伦尼 (Dennis, Q.M.) , 著
简单的逻辑学2016.8(美) D.Q.麦克伦尼 (D.Q.McInerny) , 著
动态模糊逻辑引论2005.07李凡长, 刘贵全, 佘玉梅, 著
简明实用逻辑学2010.5刘如正, 齐贵来, 主编
通识逻辑学2010.8刘社军, 编著
现代逻辑学讲义2005.08李小五, 编著
逻辑学十五讲2007.07陈波, 著
信息、智能与逻辑2010.6何华灿, 主编
数理逻辑入门2018.12(美) 雷蒙德·M.斯穆里安 (Raymond M. Smullyan) , 著
逻辑、知识与认知逻辑2017.8刘邦凡, 著
逻辑学2017.4《逻辑学》编写组, 编