Read another response by Peter Smith, Richard Heck

I aced a basic logic class in college that covered both sentential and predicate logic. I am interested in furthering my skills in symbolic logic, but I don't know how. My school doesn't offer any upper-level logic courses. I'm thinking I would like to buy a simple textbook for a more in-depth study of the more advanced concepts (I've heard the term "modal logic" thrown around, but I don't know what that is). Can you suggest a good text or author I should investigate?

Peter might also have mentioned his book, *An Introduction to Gödel's Theorems*, and the similarly targeted book by George Boolos, John Burgess, and Richard Jeffrey, *Computability and Logic*. Both are standard texts used in intermediate logic courses.

- Log in to post comments