分数阶系统高阶逻辑形式化验证2019.9赵春娜, 蒋慕蓉, 著
形式逻辑2016.6莫修明, 主编
形式逻辑2005.02金岳霖, 主编
形式逻辑1994.06莫曾萌, 黄孟洲, 主编
形式逻辑2005.金岳霖, 主编
形式逻辑基础2010.2朱霖, 陆劲松, 著
形式逻辑与应用2012.4杨红卫, 李宗名, 崔立华, 主编
人的逻辑与物的逻辑2016.12葛宇宁, 著
形式逻辑·辩证逻辑·科学2016.6李浙生, 著
形式逻辑导论2008.06刘汉民, 主编
形式逻辑浅谈2015.7袁晓茂, 编著
形式逻辑教程2004.12陈全星, 唐月娥, 著
普通逻辑2003.02耿昭任, 编著
形式逻辑原理2007.04诸葛殷同等, 著
形式逻辑初稿2015.12王立吾, 编著