Applied Proof Theory: Proof Interpretations and their Use in Mathematics

Mathematics

von Ulrich Kohlenbach

Taschenbuch

ISBN: 978-3-642-09627-3

ISBN-10: 3-642-09627-1

(978-3-642)

S. auch:
2008Gebundene AusgabeApplied Proof Theory: Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)