Wordt geladen...

Applied proof theory proof interpretations and thier use in mathematics

Bibliografische gegevens
Hoofdauteur: Kohlenbach, Ulrich
Formaat: Printed Book
Gepubliceerd in: Springer-Verlag, Berlin 2008
Onderwerpen: