Courses for 1998-1999, fall semester
required
- Λ1. Mathematical logic (Dimitracopoulos)
- Λ2. Computability (Moschovakis)
- Λ3. Algorithms and complexity I (Nomikos)
elective (computer science logic)
Special Topics in Logic
- Λ98Α. Logic Programming II (Foustoucos)
- Λ98Β. Principles of Constructive Mathematics (Moschovakis)
- Λ98Ν. Metamathematics of set theory (Moschovakis)