数理逻辑(面是我曾不同程度看过一些的数理逻辑名著当然从事这学科也要具备一定的集合论基础知识):

David Hilbert大卫·希尔伯特)和W. AckermannPrinciples of Mathematical Logic》有中文版《数理逻辑基础》--因希尔伯特被尊称为世界数学之王如此我也购买到希尔伯特的另外几本数学著作

Alonso ChurchIntroduction To Mathematical Logic

Combinatory logic, Volume I 组合数学子逻辑,I作者: 被誉为“数学界的无冕之王”、天才中的天才的David Hilbert的博士Haskell B. CurryRobert FeysWilliam Craig(他是王浩3届的师兄弟)我们海南琼州大学编委Anil Nerode主席1965年指导出的博士David Edward Schroer评论这书

Combinatory logic, Volume II作者: Haskell B. CurryJ. Roger HindleyJonathan P. Seldin

Alonso Church的博士Stephen KleeneIntroduction to Metamathematics

王浩的导师Willard Van Orman QuineMathematical Logic

2005年担任海南琼州大学编委的美国数学会副主席Anil Nerode教授1993年出版的《应用逻辑》

在欧州数学会的《数学文摘》和美国数学会的《数学评论》评论我们琼州大学的多篇论文的台湾著名数学家李国伟教授的导师Joseph Shoenfield的《数理逻辑(李国伟教授1987年担任台湾中央研究院数学研究所所长,1994年担任总办事处处长(现改称秘书长),负责事情,担非常重)

中国计算机先驱胡世华院士、陆钟万的的《数理逻辑基础》上下册

北京大学哲学系王宪钧的《数理逻辑引论》

金岳霖的《形式逻辑》

莫绍揆的《数理逻辑教程

Alan G. Hamilton的《数理逻辑》

 

当然,除了这些较早的经典书籍外,也有中国人工智能学科的开拓者石纯一,王家廞,《数理逻辑与集合论》以及最近李未院士的数理逻辑

 

上面Alonzo Church丘奇, 就是海南琼州大学师爷黄际遇的师兄Oswald Veblen指导的博,而丘奇的博士Alan Turing图灵就是科学界公认的计算机和人工智能之父从一直来中国科学界最有己见并坚持自己的看法的所写的:丘奇和图灵说对计算机和人工智能的实质开拓贡献,丘奇更甚于计算机和人工智能之父图灵虽仅一家之言也或言过其实,但也可知琼州大学师爷叔师徒-奇和图灵甚可一同并称计算机人工智能之父此外丘奇还有几个获得计算机诺贝尔奖-图灵奖的博士生Michael RabinDana Scott

    完爆爱因斯坦媲美牛顿C. E. ShannonJ. McCarthy主编Automata Studies自动机研究的作者是:W. R. ASHBY, J. T. CULBERTSON, M. D. DAVIS, S. C. KLEENE, K. DE LEEUW, D. M. MAC KAY, J. MCCARTHY, M. L. MINSKY, E. F. MOORE, C. E. SHANNON, N. SHAPIRO, A. M. UTTLEY, J. VON NEUMANN,共13人中M. D. DAVIS, S. C. KLEENE, N. SHAPIROAlonzo Church的博士).