- 出版社：Cambridge University Press
- 出版年月：2007年 11月
- ISBN：9780521877527
- 装丁：HRD
-
装丁について
- 言語：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 Gödel incompleteness theorems. This new edition is also accompanied by a website as well as an instructor's manual.