Reihe Trends in LogicHenryk Kotlarski × A Model–Theoretic Approach to Proof Theory Henryk KotlarskiSpringer International PublishingSoftcover2020 A Model–Theoretic Approach to Proof Theory Henryk KotlarskiSpringer International PublishingHardcover2019 A Model–Theoretic Approach to Proof Theory Henryk KotlarskiSpringer International PublishingeBook2019