现代作战样式与形式2018.7刘兴堂, 刘力, 主编 作战方式扫描2016.12郭松岩, 刘军民, 张朝龙, 编著 作战设计论2020.6刘玮琦, 著 形式主义现形记2020.9《形式主义现形记》编写组, 编写 现代生活方式2007.09《现代生活方式》编写组, 编 形式逻辑与应用2012.4杨红卫, 李宗名, 崔立华, 主编 形式逻辑2016.6莫修明, 主编 形式逻辑2005.02金岳霖, 主编 形式逻辑1994.06莫曾萌, 黄孟洲, 主编 形式逻辑2005.金岳霖, 主编 军事技术变革影响作战方式研究2014.10赵阵, 著 形式语义学基础与形式说明2010.屈延文, 编著 形式逻辑基础2010.2朱霖, 陆劲松, 著 形式化方法导论2015.张广泉, 编著 形式化软件规约Radl获取、验证与确认方法2014.王昌晶, 罗海梅, 著