Caricamento...

Applied proof theory proof interpretations and thier use in mathematics

Dettagli Bibliografici
Autore principale: Kohlenbach, Ulrich
Natura: Printed Book
Pubblicazione: Springer-Verlag, Berlin 2008
Soggetti: