Courses for 1998-1999, χειμερινό εξάμηνο
required
- Λ1. Μαθηματική λογική (Δημητρακόπουλος)
- Λ2. Υπολογισιμότητα (Moschovakis)
- Λ3. Αλγόριθμοι και πολυπλοκότητα I (Nomikos)
elective (computer science logic)
- Π19. Μαθηματική θεωρία γλωσσών προγραμματισμού (Georgatos)
Special Topics in Logic
- Λ98Α. Logic Programming II (Foustoucos)
- Λ98Β. Principles of Constructive Mathematics (Moschovakis)
- Λ98Ν. Μεταμαθηματικά της συνολοθεωρίας (Moschovakis)