P_cliff 版 (精华区)

发信人: cliff (狗皮膏药), 信区: P_cliff
标  题: 数理逻辑的一些书籍 zz
发信站: 哈工大紫丁香 (Sun Sep  4 13:02:48 2005), 转信



当今逻辑学界一致公认的数理逻辑最好的入门教材，就是从命题演算讲起的，是：Anil Nerode, Richard A. Shore合著的《Logic for applications》，Springer出版社1997出版。这本书是用现代的观点来介绍数理逻辑的，相比之下，国内的所有的数理逻辑的入门书都早已淘汰了。

    （以下介绍的书都需要数理逻辑的基础，必须在看完高阶入门书以后才能阅读）

    至于递归论，简单的入门书就是Nigel Cutland在1980年写的《Computability： an introduction to recursive function theory》，Cambridge University Press。
    标准的进入现代递归领域的最好的书是：Robert I. Soare 1987年写的《Recursively enumerable sets and degrees :a study of computable functions and computably generated sets》， Springer出版社1987出版。
    另外，Piergiorgio Ddifreddi写的《Classical recursion theory : the theory of functions and sets of natural numbers》（North-Holland 1989 年）也是比较好的一本书，好在他详细介绍了一些定理得来龙去脉，和简单直觉含义。还有一本书就是Rogers, H.写的《Theory of recursive functions and effective computability》不过是比较难的，据说有些做递归论的人一辈子都没有看懂这本书。

    模型论的书有两本：C.C.Chang和H.J.Keisler合著的《Model theory》，North-Holland 1973年出版，第一作者是华人，著名的数理逻辑学家，不过书是英文的。还有就是David Marker在2002年刚出版的《Model theory : an introduction》，这本书是新加坡国际一流逻辑学家庄志达推荐的，我还没有看过，据说是有最新的研究方向，是Springer出版社的 GTM丛书中的一本。

    集合论的书可以看：Kenneth Kunen的《Set theory :an introduction to independence proofs》，这本书是North-Holland出版社在1980年出版的书，不过至今仍然是最经典的教材。
    还有一本是：Thomas Jech的《Set theory》（Springer, 1997出版），讲述地非常详细。
--
    ─┼────────────────┼─
      │     有屁不放      憋坏心脏     │  
      │     没屁硬挤      锻炼身体     │  
      │     屁放得响      能当校长     │  
      │     屁放得臭      能当教授     │  
    ─┼────────────────┼─


※ 修改:·cliff 于 Sep  4 13:03:02 修改本文·[FROM: 202.118.239.7]
※ 来源:·哈工大紫丁香 bbs.hit.edu.cn·[FROM: 202.118.239.7]