Henryk Kotlarski

• A Model–Theoretic Approach to Proof Theory
• Model-Theoretic Approach to Proof Theory