Samuel Coskey / Courses / Mathematical logic 461, Fall 2008