P1: FhN
CY186-FM CB421-Boolos July 15, 2007 3:5 Char Count= 0
Computability and Logic, Fifth Edition
Computability and Logic has become a classic because of its accessibility to students with-
out a mathematical background and because it covers not simply the staple topics of an
intermediate logic course, such as G¨odel’s incompleteness theorems, but also a large num-
ber of optional topics, from Turing’s theory of computability to Ramsey’s theorem. This fifth
edition has been thoroughly revised by John P. Burgess. Including a selection of exercises,
adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment
of the representability of recursive functions, a traditional stumbling block for students on
the way to the G¨odel incompleteness theorems. This new edition is also accompanied by a
Web site as well as an instructor’s manual.
“[This book] gives an excellent coverage of the fundamental theoretical results about logic
involving computability, undecidability, axiomatization, definability, incompleteness, and
so on.”
– American Math Monthly
“The writing style is excellent: Although many explanations are formal, they are perfectly
clear. Modern, elegant proofs help the reader understand the classic theorems and keep the
book to a reasonable length.”
– Computing Reviews
“A valuable asset to those who want to enhance their knowledge and strengthen their ideas
in the areas of artificial intelligence, philosophy, theory of computing, discrete structures,
and mathematical logic. It is also useful to teachers for improving their teaching style in
these subjects.”
– Computer Engineering
i
我的内容管理
收起
我的收益 登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏 
我的下载 
下载帮助 
