Computability and Logic

Name: Computability and Logic
Price: 8.31 USD
Availability: InStock
ISBN: 9780521389235

ISBN-10: 0521389232

ISBN-13: 9780521389235

Edition: 3rd 1989 (Revised)

Authors: George S. Boolos, Richard C. Jeffrey

List price: $30.00

30 day, 100% satisfaction guarantee!

Marketplace

3 new & used from $8.31

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

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.

Book details

List price: $30.00
Edition: 3rd
Copyright year: 1989
Publisher: Cambridge University Press
Publication date: 9/29/1989
Binding: Paperback
Pages: 320
Size: 6.25" wide x 9.00" long x 0.75" tall
Weight: 0.946
Language: English

George Boolos was Professor of Philosophy, Massachusetts Institute of Technology.




Computability Theory



Enumerability



Diagonalization



Turing computability



Uncomputability



Abacus computability



Recursive functions



Recursive sets and relations



Equivalent definitions of computability



Basic Metalogic



A precis of first-order logic: syntax



A precis of first-order logic: semantics



The undecidability of first-order logic



Models



The existence of models



Proofs and completeness



Arithmetization



Representability of recursive functions



Indefinability, undecidability, incompleteness



The unprovability of consistency


Further topics



Normal forms



The Craig interpolation theorem



Monadic and dyadic logic



Second-order logic



Arithmetical definability



Decidability of arithmetic without multiplication



Non-standard models



Ramsey's theorem



Modal logic and provability