形式逻辑原理2007.04诸葛殷同等, 著 形式主义现形记2020.9《形式主义现形记》编写组, 编写 形式语义学基础与形式说明2010.屈延文, 编著 形式逻辑2012.1黄洪雷, 梁剑峰, 主编 初等数学2014.8张伟秋, 主编 初等数论指南2018.9增太加, 主编 当代形式逻辑引论2009.03龚启荣等, 著 形式逻辑2009.05樊明亚, 主编 形式逻辑2005.蔡贤浩, 主编 形式逻辑2007.07蔡贤浩, 主编 θ常数, 黎曼面和模群2016.11(以) 法卡斯 (Hershel M.Farkas) , (美) 克拉 (Irwin Kra) , 著 初等数学2005.08钟用, 主编 初等数论及应用2003.05赵建立, 宋宝和, 编著 初等代数研究2017.5赵思林, 著 伊斯兰的精神和形式2015.5伍特公, 著