This question already has an answer here:

I am very much interested in logic, study & interpretation of formal languages and proof theory and other aspects related to logic and semantics. But I believe I lack a good foundation. As part of degree, I only did one module on discrete mathematics which was not very deep.

I understand that logic is based lots of sets, relations and these aspects are important to understand other things that predicate and first order logic, semantic interpretation.....,

In short my question is, can I get some help about the books i can go through to master the important foundation of logic and then possibly books about important subtopics.


marked as duplicate by user21820, Leucippus, hardmath, Shailesh, user223391 Aug 5 '16 at 0:58

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.


Here's a very good, in depth walkthrough of the topics you might consider covering, in what order, and why


  • $\begingroup$ It didn't even mention Inner Model Theory once, even though it contained a section on "ZFC, with all the bells and whistles..." :'( $\endgroup$ – Stefan Mesken Aug 4 '16 at 23:05

Not the answer you're looking for? Browse other questions tagged or ask your own question.