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.
Here's a very good, in depth walkthrough of the topics you might consider covering, in what order, and why
http://www.logicmatters.net/resources/pdfs/TeachYourselfLogic2016.pdf