Kohlenbach, Ulrich.
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics [electronic resource] / by Ulrich Kohlenbach. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Springer Monographs in Mathematics, 1439-7382 . - Springer Monographs in Mathematics, .
9783540775331
10.1007/978-3-540-77533-1 doi
Mathematics.
Functional analysis.
Operator theory.
Logic, Symbolic and mathematical.
Mathematics.
Mathematics, general.
Approximations and Expansions.
Operator Theory.
Mathematical Logic and Foundations.
Functional Analysis.
QA1-939
510
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics [electronic resource] / by Ulrich Kohlenbach. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. - digital. - Springer Monographs in Mathematics, 1439-7382 . - Springer Monographs in Mathematics, .
9783540775331
10.1007/978-3-540-77533-1 doi
Mathematics.
Functional analysis.
Operator theory.
Logic, Symbolic and mathematical.
Mathematics.
Mathematics, general.
Approximations and Expansions.
Operator Theory.
Mathematical Logic and Foundations.
Functional Analysis.
QA1-939
510