Henryk Kotlarski, Zofia Adamowicz, Teresa Bigorajska, Konrad Zdanowski

A Model–Theoretic Approach to Proof Theory - 1st ed. 2019 - Springer International Publishing 2019 - Trends in Logic .

9783030289218


Mathematics and Statistics