Computability and Logic. This item is unavailable.
Language: English
Published by Cambridge University Press, 2002
- Softcover
- Used
Unavailable
Softcover
Condition: Used - Very good
£ 6.88
Item description from seller
Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority.
Seller Inventory # S_480850193
- Title
- Computability and Logic
- Author
- Burgess, John P.,Jeffrey, Richard C.,Boolos, George S.
- Publisher
- Cambridge University Press
- Publication year
- 2002
- Condition
- Very Good
- Binding
- paperback
- Language
- English
- ISBN 10
- 0521007585
- ISBN 13
- 9780521007580
- Edition
- 4th Edition
Now in its fourth edition, this book on logic has been enhanced and rewritten.
"Synopsis" may belong to another edition of this title.
Review
'... gives an excellent coverage of the fundamental theoretical results about logic involving computability, undecidability, axiomatization, definability, incompleteness, etc.' 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, mathematical logic. It is also useful to teachers for improving their teaching style in these subjects.' Computer Engineering
'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, mathematical logic. It is also useful to teachers for improving their teaching style in these subjects.' Computer Engineering
"About the title" may belong to another edition of this title.