当代形式逻辑及其在人工智能中的应用理论研究2010.12龚启荣, 等著
当代形式逻辑引论2009.03龚启荣等, 著
形式逻辑2016.4华东师范大学哲学系逻辑学教研室, 编
形式逻辑2016.6莫修明, 主编
形式逻辑2005.02金岳霖, 主编
形式逻辑1994.06莫曾萌, 黄孟洲, 主编
形式逻辑2005.金岳霖, 主编
当代形式逻辑基础2006.08龚启荣, 著
形式逻辑与应用2012.4杨红卫, 李宗名, 崔立华, 主编
形式逻辑2009.05樊明亚, 主编
形式逻辑2012.1黄洪雷, 梁剑峰, 主编
形式逻辑2009.彭漪涟等, 著
形式逻辑2011.6贾娇燕, 编著
形式逻辑原理2007.04诸葛殷同等, 著
形式逻辑浅谈2015.7袁晓茂, 编著