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

Powered by Koha