计算系统的形式语义2017.陆汝钤, 著 形式逻辑基础2010.2朱霖, 陆劲松, 著 形式逻辑与应用2012.4杨红卫, 李宗名, 崔立华, 主编 形式化方法导论2015.张广泉, 编著 形式主义现形记2020.9《形式主义现形记》编写组, 编写 形式语义学基础与形式说明2010.屈延文, 编著 探索形式教学与内容依托式教学的协同作用2019.9刘岩, 著 形式主义批评的终结2009.9何桂彦, 著 艺术形式2016.9(美) 帕特里克·弗兰克 (Patrick Frank) , 著 记忆的形式2003.筱敏, 著 意义的形式2016.3(美) 西比奥克 (Sebeok,T.A.) , (加) 德尼西 (Danesi,M.) , 著 存在的形式2016.12李万华, 著 形式的诱惑2007.01赵宪章, 著 朋友的形式2020.8(荷) 玛丽安·布瑟, (荷) 罗恩·施罗德, 著 形式逻辑教程2004.12陈全星, 唐月娥, 著