数学证明
萧文强著
2016年

基于不确定规则的模糊逻辑系统 : 导论与新方向 : introduction and new di
(美) Jerry M. Mendel著
2013年

数学证明之美
(英) 博卡德·波斯特著
2012年

数学证明
著萧文强
2008年

元数学导论. 上册
（美）克林(Kleene,S.C.)著；莫绍揆译
1984年