A Model–Theoretic Approach to Proof TheoryHenryk Kotlarski, Zofia Adamowicz og 2 andrePocketEngelskDel av serien Trends in LogicLegg i handlekurvNettlager