Item Removed

You seem to be attempting to access an item that has been removed from the repository.

There is a later version of the item you are trying to access:
Rathjen, M orcid.org/0000-0003-1699-4778 and Toppel, M (2019) On Relating Theories: Proof-Theoretical Reduction. In: Centrone, S, Negri, S, Sarikaya, D and Schuster, PM, (eds.) Mathesis Universalis, Computability and Proof. Humboldt-Kolleg: Proof Theory as Mathesis Universalis, 24-28 Jul 2017, Loveno di Menaggio (Como), Italy. Springer , pp. 311-331. ISBN 978-3-030-20446-4