Computability and Logic
By George Boolos, Richard C. Jeffrey, George S. Boolos and John P. Burgess
"Computability and Logic" is published by Cambridge University Press in 2002 - Cambridge New York, it has 356 pages and the language of the book is English.
“Computability and Logic” Metadata:
- Title: Computability and Logic
- Authors: George BoolosRichard C. JeffreyGeorge S. BoolosJohn P. Burgess
- Language: English
- Number of Pages: 356
- Publisher: Cambridge University Press
- Publish Date: 2002
- Publish Location: Cambridge New York
“Computability and Logic” Subjects and Themes:
- Subjects: ➤ Computable functions - Logic, Symbolic and mathematical - Recursive functions - Symbolic and mathematical Logic - Mathematical foundations - Philosophy - General - Philosophy / Logic - Mathematical logic - Mathematics - Science/Mathematics - Logic
Edition Identifiers:
- The Open Library ID: OL40460520M - OL2721474W
- ISBN-13: 9780511078064 - 9780511076497 - 9781139164931
- All ISBNs: 9780511078064 - 9780511076497 - 9781139164931
AI-generated Review of “Computability and Logic”:
"Computability and Logic" Description:
Open Data:
Now in its fourth edition, this book has become a classic because it covers not simply the staple topics of intermediate logic courses but also a large number of other topics. John Burgess has enhanced the book by adding problems at the end of each chapter and by rewriting chapters
Read “Computability and Logic”:
Read “Computability and Logic” by choosing from the options below.
Search for “Computability and Logic” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Computability and Logic” in Libraries Near You:
Read or borrow “Computability and Logic” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Computability and Logic” at a library near you.
Buy “Computability and Logic” online:
Shop for “Computability and Logic” on popular online marketplaces.