形式逻辑与应用2012.4杨红卫, 李宗名, 崔立华, 主编
形式与应用2013.10邹渊, 著
当代形式逻辑及其在人工智能中的应用理论研究2010.12龚启荣, 等著
走近形式语用学2011.7蒋严, 主编
电磁场理论形式逻辑分析2008.杨本洛, 著
形式化方法在构件组装实时系统中的应用研究2019.5席琳, 马传连, 著
形式语义学基础与形式说明2010.屈延文, 编著
形式设计基础与应用2017.5刘东峰, 王海燕, 编著
形式语用学导论2008.06张韧弦, 著
中医学与民族传统体育养生2011.1陈玉凤, 主编
沿Ricci流的Sobolev不等式及热核2013.2张旗, 编著
形式逻辑2016.6莫修明, 主编
形式逻辑2005.02金岳霖, 主编
形式逻辑1994.06莫曾萌, 黄孟洲, 主编
形式逻辑2005.金岳霖, 主编