| Λ1. |
Μαθηματική λογική |
2014-2015, εαρινό εξάμηνο |
| Λ14. |
Εισαγωγή στο λ-λογισμό |
2014-2015, εαρινό εξάμηνο |
| Λ14. |
Εισαγωγή στο λ-λογισμό |
2012-2013, εαρινό εξάμηνο |
| Λ15. |
Θεωρία αποδείξεων |
2012-2013, χειμερινό εξάμηνο |
| Λ15. |
Θεωρία αποδείξεων |
2009-2010, χειμερινό εξάμηνο |
| Λ14. |
Εισαγωγή στο λ-λογισμό |
2008-2009, εαρινό εξάμηνο |
| Λ07Ο. |
Γραμμική λογική |
2007-2008, εαρινό εξάμηνο |
| Λ15. |
Θεωρία αποδείξεων |
2007-2008, χειμερινό εξάμηνο |
| Λ98Γ. |
Category theory and applications |
2006-2007, χειμερινό εξάμηνο |
| Λ14. |
Εισαγωγή στο λ-λογισμό |
2005-2006, εαρινό εξάμηνο |
| Λ15. |
Θεωρία αποδείξεων |
2005-2006, χειμερινό εξάμηνο |
| Λ14. |
Εισαγωγή στο λ-λογισμό |
2004-2005, εαρινό εξάμηνο |
| Λ04Α. |
Αποδείξεις και προγράμματα |
2004-2005, χειμερινό εξάμηνο |
| Λ15. |
Θεωρία αποδείξεων |
2003-2004, εαρινό εξάμηνο |
| Λ14. |
Εισαγωγή στο λ-λογισμό |
2003-2004, χειμερινό εξάμηνο |
| Λ15. |
Θεωρία αποδείξεων |
2002-2003, εαρινό εξάμηνο |
| Λ14. |
Εισαγωγή στο λ-λογισμό |
2001-2002, εαρινό εξάμηνο |
