Henryk Kotlarski

Livres
A Model–Theoretic Approach to Proof Theory A Model–Theoretic Approach to Proof Theory
A Model–Theoretic Approach to Proof Theory
2019