Applied proof theory : proof interpretations and their use in mathematics /

other_versions_link
Bibliographische Detailangaben
1. Verfasser: Kohlenbach, U.
Format: Printed Book
Veröffentlicht: Berlin : Springer, c2008.
Schriftenreihe:Springer monographs in mathematics,
Schlagworte:
Proof theory.
Approximation theory.
Nonlinear operators.
Automatic theorem proving.

Ähnliche Einträge