CWRU Graduate Mathematical Logic & Model Theory: Final (my first Latex document) I found this in my old archives. Covers the foundations and is a good reference Download Final.pdf