Applied proof theory
: proof interpretations and their use in mathematics / U. Kohlenbach. - Berlin : Springer, 2008. - Online-Ressource - (Springer monographs in mathematics)
ISBN 978-3-540-77533-1
Lizenzpflichtig
Quelle: DNB
Kohlenbach, Ulrich: Applied proof theory: proof interpretations and their use in mathematics
/ U. Kohlenbach. - Berlin : Springer, 2008. - XIX, 532 S.; 24 cm, 960 gr. - (Springer monographs in mathematics)
ISBN 978-3-540-77532-4 Pp. : EUR 74.85 (freier Pr.), sfr 122.00 (freier Pr.)
Literaturverz. S. 507 - 523
Quelle: DNB Verlagsmeldungen

