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

other_versions_link
Manylion Llyfryddiaeth
Prif Awdur: Kohlenbach, U.
Fformat: Printed Book
Cyhoeddwyd: Berlin : Springer, c2008.
Cyfres:Springer monographs in mathematics,
Pynciau:
Proof theory.
Approximation theory.
Nonlinear operators.
Automatic theorem proving.

Eitemau Tebyg