Computability and Logic by George S Boolos
A text for a second course in logic for graduate and advanced undergraduate students. This third edition has been corrected and contains thoroughly revised versions of the chapters on Ramsey and provability, with new exercises provided for three other chapters. There are also two new chapters dealing with undecidable sentences and on the non-existence of non-standard recursive models of Z.
‘Intended for a second course in logic it gives excellent coverage of the fundamental theoretical results about logic involving computability, undecidability, axiomatization, definability, incompleteness, etc’ American Math Monthly
‘… particularly appropriate for graduate and advanced undergraduate students in philosophy … The book is written in a clear and pleasing style and avoids pedantry … It should be an excellent text for its intended audience.’ Mathematical Reviews
‘… particularly appropriate for graduate and advanced undergraduate students in philosophy … The book is written in a clear and pleasing style and avoids pedantry … It should be an excellent text for its intended audience.’ Mathematical Reviews
Richard Jeffrey (1926-2002) was Professor of Philosophy, Princeton University.
John P. Burgess is Professor of Philosophy, Princeton University.
| SKU | Unavailable |
| ISBN 13 | 9780521389235 |
| ISBN 10 | 0521389232 |
| Title | Computability and Logic |
| Author | George S Boolos |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Cambridge University Press |
| Year published | 1989-09-29 |
| Number of pages | 320 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |