Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Proceedings Paper

Rathjen, M 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 . ISBN 978-3-030-20446-4 (In Press)

This list was generated on Sat Oct 19 22:40:31 2019 BST.