株式会社極東書店トップ ＞ 商品一覧 ＞ Computability and Logic. 5th Revised edition.
商品詳細
Computability and Logic. 5th Revised edition.
・ISBN 978-0-521-70146-4 paper GB£ 34.00
￥10,771.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Boolos, George S. / Burgess, John P. / Jeffrey, Richard C., |
|---|---|
| 出版社 | (Cambridge University Press, UK) |
| 出版年月 | 2007 |
| ページ数 | 366 pp. |
| 言語 | ENG |
| ニュース番号 | ＜M25-8223＞ |
解説
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems. This updated edition is also accompanied by a website as well as an instructor's manual.