booksreddit.com:Computability and Logic

Computability and Logic

316

I’ve nearly completed my textbook on propositional & predicate logic – What would be good to learn next and what’s a good text for it?
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel’s incompleteness theorems, but also a large number of optional topics, from Turing’s theory of computability to Ramsey’s theorem. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representabi… more about book…

More about the book on Amazon

Most upvoted comment

Top rated philosophy books on Reddit rank no. 33

I’ve nearly completed my textbook on propositional & predicate logic – What would be good to learn next and what’s a good text for it?(r/AcademicPhilosophy)

In response to the same question, my Logic professor suggested:

Permalink

More details about a book.

Additional Information

Subreddits

askphilosophy,AcademicPhilosophy

Number Of Links

4

Sum Of Upvotes

36

Amazon Price

$28.47

Book Binding

Paperback

Type Code

ABIS_BOOK

Book Author

George S. Boolos

Book Edition

5

Book Publisher

Cambridge University Press

Book On Amazon

Computability and Logic

Post Title

I’ve nearly completed my textbook on propositional & predicate logic – What would be good to learn next and what’s a good text for it?

Reddit Gold

0

Post Permalink

/r/AcademicPhilosophy/comments/rsilb/ive_nearly_completed_my_textbook_on_propositional/

More about the book on Amazon