Zofia Adamowicz

• A Model–Theoretic Approach to Proof Theory
• Logic of mathematics
• Model-Theoretic Approach to Proof Theory