辩证逻辑导论 数理逻辑：证明及其限度 数理逻辑的思想与方法 数理逻辑入门 [李锡胤 编] 2013年版 数理逻辑：基本原理与形式演算 第二版 数理逻辑引论 [李涛，张岩，刘峰 主编] 2011年版 数理逻辑 [张再跃，张晓如 主编] 2013年版 数理金融学导论