Henryk Kotlarski

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