(with Peter Schroeder-Heister) PROOF-THEORETIC SEMANTICS, 
                    Hilbert-Bernays Summer School on Logic and Computation (Slides)
2017-2018
                  • PHILOSOPHISCHE LOGIK: WAHRHEIT UND BEWEIS, Tübingen

                  • GOTTLOB FREGE: TEXTE ZUR LOGIK UND SPRACHPHILOSOPHIE, Tübingen


2016-2017

• EINFÜHRUNG IN DIE LOGIK, Tübingen (Complete slides, in German)



2015-2016
 
• PRINCIPIA MATHEMATICA, Tübingen

• RUSSELL: PROBLEME DER PHILOSOPHIE, Tübingen




2014-2015
  • CARNAP: MEANING AND NECESSITY, Tübingen

• PROOF THEORY FOR PHILOSOPHERS, Pamplona (Handout)

• GOTTLOB FREGE: DIE GRUNDLAGEN DER ARITHMETIK, Tübingen




2013-2014
 
 
• MICHAEL DUMMETT: SELECTED READINGS, Tübingen

• TARSKI’S AND KRIPKE’S SOLUTIONS TO THE LIAR PARADOX, Siena

• PARADOXES, Tübingen

 

2012-2013
 
•DUMMETT’S INTERPRETATION OF FREGE: PREDICATES AND QUANTIFICATION, Siena

•WAHRHEIT, BEWEIS, FOLGERUNG, Tübingen
 

2011-2012

 
 
•THE PROBLEM OF PARADOXES IN PROOF-THEORETIC SEMANTICS, Siena