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

other_versions_link
Dettagli Bibliografici
Autore principale: Kohlenbach, U.
Natura: Printed Book
Pubblicazione: Berlin : Springer, c2008.
Serie:Springer monographs in mathematics,
Soggetti:
Proof theory.
Approximation theory.
Nonlinear operators.
Automatic theorem proving.

Documenti analoghi