数理和应用逻辑文集相关电子书下载

汤璪真著2007 年出版224 页ISBN：7303084533

本书介绍汤璪真先生所著几何与数理逻辑的内容。

王捍贫1997 年出版271 页ISBN：

宋文淦2222 年出版221 页ISBN：

王捍贫编著1997 年出版271 页ISBN：7301034903

朱梧槚，肖奚安编著2008 年出版243 页ISBN：7561140339

本书主要介绍了命题与命题联结词，命题逻辑演算，谓词与量词，谓词逻辑演算，逻辑演算系统的整体特征，非经典逻辑纲要。

石纯一，王家廞编著1990 年出版300 页ISBN：7302005575

（瑞士）J.M.波亨斯基，（美）H.B柯里著；田龙九，李仁寿译1991 年出版207 页ISBN：7307010569

2222 年出版86 页ISBN：

（苏）雅诺夫斯卡娅著；缪朗山译1953 年出版74 页ISBN：

（美）Herbert B.Enderton著；沈复兴，陈磊，孙运传译2007 年出版240 页ISBN：7115143110

本书是数理逻辑课程的经典教材。