形式化软件规约Radl获取、验证与确认方法2014.王昌晶, 罗海梅, 著 形式逻辑导论2008.06刘汉民, 主编 形式逻辑浅谈2015.7袁晓茂, 编著 经典自守形式专题2016.11(波) 亨里克·伊万涅茨 (Henryk Iwaniec) , 著 形式至上2006.赵钧, 唐玮, 编著 形式逻辑初稿2015.12王立吾, 编著 新编形式逻辑2008.01张起建, 编著 形式语言与自动机导论2005.08(美) 林兹 (Linz,P.) , 著 形式逻辑2009.彭漪涟等, 著 形式逻辑2011.6贾娇燕, 编著 形式逻辑2012.1黄洪雷, 梁剑峰, 主编 文明的追随2015.5(约旦) 萨米尔艾哈迈德, 著 追随飞鸟寻梦2017.9向核英, 著 形式逻辑2015.8蔡贤浩, 宋荣, 主编 形式逻辑2003.05贾娇燕, 著