A Modern Formal Logic Primer (MP) -Paul Teller Mathematical Logic (ML) - Ian Chiswell & Wilfrid Hodges A Friendly Introduction to Mathematical Logic (IML) - Christopher C. Leary Beginning Model Theory: The Completeness Theorem and Some Consequences (BMT) Jane Bridge VI. Model Theory (MT) - Maria Manzano VII. An Introduction to Gdels Theorems (IGT) - Peter Smith VIII. Computability and Logic (CL) - George Boolos, John Burgess & Richard Jeffrey IX. Classic Set Theory (CT) - Derek Goldrei X. Introduction to Set Theory (IST) - Karel Hrbacek & Thomas Jech XI. Set Theory and Its Philosophy (STP) - Michael Potter XII. Set Theory (ST) - Thomas Jech XIII. Set Theory: An Introduction to Independence Proofs (SIP) - Kenneth Kunen XIV. The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings (THI) - Akihiro Kanamori Procedure: I. Introduction to set theory - ET II. Introduction to logic - MP III. First order logic I - ML IV. First order logic II - IML (ch. 1-3.2) V. Model theory I - BMT VI. Model theory II - MT VII. Computability and Gdelian incompleteness I - IGT VIII. Computability and Gdelian incompleteness II - CL IX. Set theory I - CT X. Set theory II - IST XI. Set theory III - STP XII. Set theory IV - ST XIII. Set theory V - SIP XIV. Set theory VI - THI