Publications

Export 4 results:

Filters: Type is Habilitation Thesis [Clear All Filters]

2017

Probst, D.: A modular ordinal analysis of metapredicative subsystems of second order arithmetic. (2017).

2010

Brünnler, K.: Nested Sequents. (2010).

Studer, T.: Proof-Theoretic Contributions to Modal Fixed Point Logics. (2010).

2001

Strahm, T.: Proof-theoretic contributions to explicit mathematics. (2001).