计算理论与符号逻辑2011.10张兴元, 王元元, 宋丽华, 编著 符号逻辑2016.4(美) 安格勒 (Agler,D.W.) , 著 半符号逻辑2004.张蔼珠, 陈思为, 著 符号逻辑讲义2008.10徐明, 编 符号、语言与逻辑2016.11李先焜, 著 超越资本逻辑与符号逻辑2012.4王欢, 著 从资本逻辑到符号逻辑2016.4王欢, 著 求索与拾遗2015.6杨甦, 著 语文、符号与逻辑2006.李先焜, 著 数理逻辑基础与粒计算2007.闫林, 著 空符号论2011.韦世林, 著 符号学与设计2015.2李乐山, 著 分子逻辑计算2014.10(英) 席瓦尔 (Silva,A.P.) , 著 符号与心体2015.8潘天波, 著 结构文艺符号学2004.09张杰, 康澄, 著