- 出版社：Cambridge University Press
- 出版年月：2007年 11月
- ISBN：9780521701464
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：5TH
- 巻数・ページ数：366 p.
- 分類： 集合論・論理学
- DDC分類：511.3
- 内容紹介：
-
Offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems. This new edition is also accompanied by a website as well as an instructor's manual.