1 - Beweistheorie |
2 - Extensional Gödel functional interpretation : a consistency proof of classical analysis |
3 - Logic in algebraic form : three languages and theories |
4 - Metamathematical investigation of intuitionistic arithmetic and analysis |
5 - Proof theory and intuitionistic systems |
6 - Provability, complexity, grammars |
7 - Tableau systems for first order number theory and certain higher order theories |
8 - The unprovability of consistency : an essay in modal logic |