形式设计2005.08王强, 朱黎明, 主编
形式语意2020.3彭芳燕, 著
形式语言与自动机导论2005.08(美) 林兹 (Linz,P.) , 著
形式逻辑学2005.田亮, 石宝丽, 主编
形式基础2012.6朱书华, 主编
形式感+2014.晋小彦, 编著
形式论2018.2(俄罗斯) 安德烈·戈尔内赫, 著
形式哲学2010.7(美) 蒙太古 (Montague,R.) , 著
形式基础2007.11周至禹, 编著
普通逻辑学2005.11张友谊, 主编
新编普通逻辑学2011.1齐家福, 主编
普通逻辑2011.6毕惠玲, 主编
逻辑大意2017.李天纲, 主编
名学浅说2017.李天纲, 主编
形式逻辑学2008.08李卫中, 冯振翼, 主编