Courses for 1998-1999, spring semester
required
- Λ4. Algorithms and complexity II (Nomikos)
elective required
- Μ6. Set theory (Tsarpalias)
elective (logic)
- Λ15. Proof theory (Koletsos)
- Λ16. Non-classical logics (Koutras)
Special Topics in Logic
- Λ98Γ. Category theory and applications (Karazeris)
- Λ98Ο. Constructive mathematics (Theotokis)
special topics in computer science
- Π98Π. Cryptography (Kranakis)