Henryk Kotlarski

Sách
A Model–Theoretic Approach to Proof Theory A Model–Theoretic Approach to Proof Theory
A Model–Theoretic Approach to Proof Theory
2019