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