Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Kohlenbach, Ulrich.
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics [electronic resource] / by Ulrich Kohlenbach. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008. - v.: digital - Springer Monographs in Mathematics, 1439-7382 .
9783540775331
Mathematics
Functional analysis
Operator theory
Logic, Symbolic and mathematical
Mathematics
Mathematics, general
Approximations and Expansions
Operator Theory
Mathematical Logic and Foundations
Functional Analysis
QA9.54 / K64 2008
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics [electronic resource] / by Ulrich Kohlenbach. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008. - v.: digital - Springer Monographs in Mathematics, 1439-7382 .
9783540775331
Mathematics
Functional analysis
Operator theory
Logic, Symbolic and mathematical
Mathematics
Mathematics, general
Approximations and Expansions
Operator Theory
Mathematical Logic and Foundations
Functional Analysis
QA9.54 / K64 2008