男人形形式式2010.1粲然, 编 形式逻辑2016.6莫修明, 主编 形式逻辑2005.02金岳霖, 主编 形式逻辑1994.06莫曾萌, 黄孟洲, 主编 形式逻辑2005.金岳霖, 主编 形式逻辑基础2010.2朱霖, 陆劲松, 著 形式主义现形记2020.9《形式主义现形记》编写组, 编写 形式逻辑与应用2012.4杨红卫, 李宗名, 崔立华, 主编 形式化方法导论2015.张广泉, 编著 形式语义学基础与形式说明2010.屈延文, 编著 形式化软件规约Radl获取、验证与确认方法2014.王昌晶, 罗海梅, 著 形式的生命2011.1(法) 福西永, 著 艺术形式2016.9(美) 帕特里克·弗兰克 (Patrick Frank) , 著 形式逻辑教程2004.12陈全星, 唐月娥, 著 绘画形式语言2003.08赵勤国, 编