Courses for 2000-2001, χειμερινό εξάμηνο
required
- Λ1. Μαθηματική λογική (Δημητρακόπουλος)
- Λ2. Υπολογισιμότητα (Moschovakis)
- Λ3. Αλγόριθμοι και πολυπλοκότητα I (Δημήτριου)
elective (computer science logic)
- Π18. Λογικός προγραμματισμος (Foustoucos)
Special Topics in Logic
- Λ98Β. Introduction to Constructive Mathematics (Moschovakis)
- Λ98Ν. Μεταμαθηματικά της συνολοθεωρίας (Moschovakis)