A model-theoretic approach to proof theory. (2019) - Kotlarski, Henryk
No abstract available