普通形式逻辑理论与实践2010.赵永振, 编著 森佩尔三个文本的形式原则比较研究2018.1王丹丹, 著 形式化方法在构件组装实时系统中的应用研究2019.5席琳, 马传连, 著 语言学和形式科学2018.(英) 马库斯·托马林, 著 形式逻辑要现代化2018.11刘新文, 贾青, 编 图形语言概述2012.6张旗, 著 语言文化研究2016.8《语言文化研究》编委会, 编 素描的精神语言2009.9姜波, 著 当代美学视域下的当代建筑形式探索2018.12周旋, 沈学美, 主编 编程语言的形式语义学2003.(英) 温斯克尔 (Winskel,G.) , 著 焦点式语言形式教学的注意研究2011.10宋秀平, 著 设计素描教学研究与应用2016.3杨东昌, 著 探索现当代素描肖像2010.12孙建平, 康泓, 著 形式语义学基础与形式说明2010.屈延文, 编著 素描与速写研究2018.9张建龙, 著