# Teaching

## Fall 2002-3

- Elements of Set Theory and Logic (PHS Department)
- Mathematical Logic (MPLA - Graduate Program in Logic and Algorithms)
- Mathematical Logic (Mathematics Department)

## Spring 2002-3

- History of Logic (PHS Department)
- Set Theory (MPLA)
- Metamathematics of Peano Arithmetic (MPLA)

## Fall 2003-4

- Elements of Set Theory and Logic (PHS Department)
- Models of Peano Arithmetic (MPLA)

## Spring 2003-4

- History of Logic (PHS Department)
- Mathematical Logic (MPLA)
- Mathematical Logic (Mathematics Department)

## Fall 2004-5

- Elements of Set Theory and Logic (PHS Department)
- Model Theory (MPLA)

## Spring 2004-5

- History of Logic (PHS Department)
- Mathematical Logic (MPLA)

## Fall 2005-6

- Elements of Set Theory and Logic (PHS Department)
- Mathematical Logic (MPLA)

## Spring 2005-6

- History of Logic (PHS Department)
- Set Theory (MPLA)

## Fall 2006-7

- History of Logic (PHS Department)
- Mathematical Logic (MPLA)

## Spring 2006-7

- Elements of Set Theory and Logic (PHS Department)
- Set Theory (MPLA)

## Fall 2007-8

- History of Logic (PHS Department)
- Mathematical Logic (MPLA)
- Logic--Epistemology (Graduate Program in Systematic Philosophy - School of Philosophy)

## Spring 2007-8

- Elements of Set Theory and Logic (PHS Department)
- Model Theory (MPLA)

## Fall 2008-9

Study leave

## Spring 2008-9

- Elements of Set Theory and Logic (PHS Department)
- Mathematical Logic (MPLA)

## Fall 2009-10

- History of Logic (PHS Department)

## Spring 2009-10

- Elements of Set Theory and Logic (PHS Department)

## Fall 2010-1

- History of Logic (PHS Department)
- Computability (MPLA)

## Spring 2010-1

- Elements of Set Theory and Logic (PHS Department)

## Fall 2011-2

- History of Logic (PHS Department)
- History of Ancient Greek Logic (HPST - Graduate Program in History and Philosophy of Science and Technology)

## Spring 2011-2

- Elements of Set Theory and Logic (PHS Department)
- Logic (HPST, with D. Anapolitanos)

## Fall 2012-3

- History of Logic (PHS Department)
- Structuralism in the Philosophy of Science (HPST, with S. Psillos)

## Spring 2012-3

- Elements of Set Theory and Logic (PHS Department, with G. Zikos)
- Logic (HPST, with D. Anapolitanos)
- Mathematical Logic (DMM - Graduate Program in Didactics and Methodology of Mathematics)

## Fall 2013-4

- History of Logic (PHS Department)
- Model Theory (MPLA)

## Spring 2013-4

- Elements of Set Theory and Logic (PHS Department)
- History of Ancient Greek Logic (HPST)
- Logic (HPST, with D. Anapolitanos)

## Fall 2014-5

- History of Roman and Medieval Logic (HPST)

## Spring 2014-5

- Elements of Set Theory and Logic (PHS Department)
- Statistics (PHS Department)
- Logic (HPST, with D. Anapolitanos)

## Fall 2015-6

- History of Logic (PHS Department)
- Frege's Logic (HPST)

## Spring 2015-6

- Elements of Set Theory and Logic (PHS Department)
- Logic (HPST, with D. Anapolitanos)

## Fall 2016-7

Study leave

## Spring 2016-7

Study leave

## Fall 2017-8

- Elements of Set Theory and Logic (PHS Department)
- Mathematical Logic (DMM)

## Spring 2017-8

- History of Logic (PHS Department)
- Logic (HPST)

## Fall 2018-9

- Logic and Set Theory (PHS Department)