形式的生成2018.12周庆, 著 形式的生命2011.1(法) 福西永, 著 观念的形式2008.08段炼, 著 形式化构件装配的图算法生成2018.12石海鹤, 鄢梦恬, 著 形式逻辑2016.6莫修明, 主编 形式逻辑2005.02金岳霖, 主编 形式逻辑1994.06莫曾萌, 黄孟洲, 主编 形式逻辑2005.金岳霖, 主编 环境的形式2018.4李凯生, 主编 计算系统的形式语义2017.陆汝钤, 著 形式逻辑基础2010.2朱霖, 陆劲松, 著 形式逻辑与应用2012.4杨红卫, 李宗名, 崔立华, 主编 形式化方法导论2015.张广泉, 编著 形式主义现形记2020.9《形式主义现形记》编写组, 编写 形式语义学基础与形式说明2010.屈延文, 编著