Henryk Kotlarski

Bücher
A Model–Theoretic Approach to Proof Theory A Model–Theoretic Approach to Proof Theory
A Model–Theoretic Approach to Proof Theory
2019