Applied Proof Theory: Proof Interpretations and their Use in Mathematics

Sprache(n): Englisch

ISBN: 978-3-540-77532-4 / 978-3540775324 / 9783540775324

Verlag: Springer Berlin

Erscheinungsdatum: 26.05.2008

Seiten: 536

Auflage: 1

Autor(en): Ulrich Kohlenbach