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

other_versions_link
Podrobná bibliografie
Hlavní autor: Kohlenbach, U.
Médium: Printed Book
Vydáno: Berlin : Springer, c2008.
Edice:Springer monographs in mathematics,
Témata:
Proof theory.
Approximation theory.
Nonlinear operators.
Automatic theorem proving.

Podobné jednotky