否定形式的格式制约2010.2胡清国, 著 否认、否定以及否定力2017.9(美) 威尔弗莱德·维尔·艾克 (Wilfried Ver Eecke) , 著 隐性否定与句法制约2016.4杨扬, 刘桥, 申娟, 著 从二语习得的视点看中英日三种语言的否定形式2008.刘代容, 著 从第二语言习得的视点出发看中、日、英三种语言的否定形式2017.5刘代容, 著 从重演的观点看2007.10薛伟江, 著 形式逻辑2016.6莫修明, 主编 形式逻辑2005.02金岳霖, 主编 形式逻辑1994.06莫曾萌, 黄孟洲, 主编 形式逻辑2005.金岳霖, 主编 形式逻辑基础2010.2朱霖, 陆劲松, 著 形式逻辑与应用2012.4杨红卫, 李宗名, 崔立华, 主编 形式化方法导论2015.张广泉, 编著 形式的生命2011.1(法) 福西永, 著 证据法定形式的时代呼唤2014.12刘万奇, 主编