Lecture notes for "Introduction to Mathematical Logic" WS 14/15 at TU Darmstadt