Applied Proof Theory: Proof Interpretations and their Use in Mathematics

Sprache(n): Englisch

ISBN: 978-3-642-09627-3 / 978-3642096273 / 9783642096273

Verlag: Springer Berlin

Erscheinungsdatum: 21.10.2010

Seiten: 536

Auflage: 1

Autor(en): Ulrich Kohlenbach