数学证明 萧文强著 2016年
基于不确定规则的模糊逻辑系统 : 导论与新方向 : introduction and new di (美) Jerry M. Mendel著 2013年
数学证明之美 (英) 博卡德·波斯特著 2012年
数学证明 著萧文强 2008年
元数学导论. 上册 (美)克林(Kleene,S.C.)著;莫绍揆译 1984年