Courses for 2002-2003, χειμερινό εξάμηνο
required
- Λ1. Μαθηματική λογική (Δημητρακόπουλος)
- Λ2. Υπολογισιμότητα (Moschovakis)
- Λ3. Αλγόριθμοι και πολυπλοκότητα I (Koutsoupias)
elective (computer science logic)
- Π18. Λογικός προγραμματισμος (Foustoucos)
Special Topics in Logic
- Λ02Α. Αριθμητική πολυπλοκότητα (Moschovakis)
- Λ02Ν. Λογική στις βάσεις δεδομένων (Tannen)
- Λ98Ν. Μεταμαθηματικά της συνολοθεωρίας (Αρβανιτάκης)