Kotlarski

A Model–Theoretic Approach to Proof Theory: 51 (Trends in Logic, 51)

By Kotlarski, Henryk, Adamowicz, Zofia, Bigorajska, Teresa, Zdanowski, Konrad