This is a set of lecture notes from a 15-week graduate course at the Pennsylvania State University. The course was intended for students already familiar with the basics of mathematical logic.
The course covered some topics which are important in contemporary mathematical logic and foundations but usually omitted from introductory courses.