Courses for 2002-2003, fall semester
required
- Λ1. Mathematical logic (Dimitracopoulos)
- Λ2. Computability (Moschovakis)
- Λ3. Algorithms and complexity I (Koutsoupias)
elective (computer science logic)
- Π18. Logic programming (Foustoucos)
Special Topics in Logic
- Λ02Α. Arithmetic complexity (Moschovakis)
- Λ02Ν. Logic in databases (Tannen)
- Λ98Ν. Metamathematics of set theory (Arvanitakis)