2023-2024

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

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

2022-2023

• EINFÜHRUNG IN DIE LOGIK, Tübingen

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

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

2020-2021

• Two lectures for the Studienkolleg 2021 (Thema: WAHRHEIT IN DER WISSENSCHASFT), Tübingen

2019-2020

• LAMBDA CALCULUS AND COMBINATORY LOGIC, Tübingen

2018-2019

• GOTTLOB FREGE: TEXTE ZUR LOGIK UND SPRACHPHILOSOPHIE, Tübingen (with Peter Schroeder-Heister)

2017-2018

• PROOF-THEORETIC SEMANTICS, Hilbert-Bernays Summer School on Logic and Computation (with Peter Schroeder-Heister) 

• PHILOSOPHISCHE LOGIK: WAHRHEIT UND BEWEIS, Tübingen

• GOTTLOB FREGE: TEXTE ZUR LOGIK UND SPRACHPHILOSOPHIE, Tübingen (with Peter Schroeder-Heister)

2016-2017

• EINFÜHRUNG IN DIE LOGIK, Tübingen

2015-2016

• PRINCIPIA MATHEMATICA, Tübingen (with Peter Schroeder-Heister)

• RUSSELL: PROBLEME DER PHILOSOPHIE, Tübingen

2014-2015

• CARNAP: MEANING AND NECESSITY, Tübingen (with Peter Schroeder-Heister)

• PROOF THEORY FOR PHILOSOPHERS, Pamplona

• GOTTLOB FREGE: DIE GRUNDLAGEN DER ARITHMETIK, Tübingen (with Peter Schroeder-Heister)

2013-2014

• MICHAEL DUMMETT: SELECTED READINGS, Tübingen

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

• PARADOXES, Tübingen (with Peter Schroeder-Heister)

2012-2013

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

• WAHRHEIT, BEWEIS, FOLGERUNG, Tübingen (with Peter Schroeder-Heister)

2011-2012

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