初等数论2008.12冯志刚, 著
形式逻辑1994.06莫曾萌, 黄孟洲, 主编
初等数学2010.高职数学教材编写组, 编
形式逻辑2005.金岳霖, 主编
物理测量的形式刻画和形式分析2015.8曾永寿, 著
初等数学研究2017.官运和, 编著
初等数论基础2020.7王守峰, 邓伟升, 编
初等数学2002.08西部、东北高职高专数学教材编写组, 主编
形式逻辑基础2010.2朱霖, 陆劲松, 著
初等数学2007.07孙建设等, 编
初等代数研究2014.3周焕山, 编
顶级初中数理化公式定理2004.01《顶级初中数理化公式定理》编写组, 编
形式逻辑与应用2012.4杨红卫, 李宗名, 崔立华, 主编
形式化方法导论2015.张广泉, 编著
Maclaurin级数与Taylor展式2020.9刘培杰数学工作室, 编