Yiannis N. Moschovakis

• Notes on set theory
• Descriptive set theory
• Elementary induction on abstract structures
• Logic from computer science
• Logic from Computer Science
• Abstract Recursion and Intrinsic Complexity