Applied Proof Theory: Proof Interpretations and Their Use in Mathematics [electronic resource] / by Ulrich Kohlenbach.
By: Kohlenbach, Ulrich.
Contributor(s): SpringerLink (Online service).
Material type:
BookSeries: Springer Monographs in Mathematics.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Description: digital.ISBN: 9783540775331.Subject(s): Mathematics | Functional analysis | Operator theory | Logic, Symbolic and mathematical | Mathematics | Mathematics, general | Approximations and Expansions | Operator Theory | Mathematical Logic and Foundations | Functional AnalysisDDC classification: 510 Online resources: Click here to access online
In:
Springer eBooks
No physical items for this record
There are no comments for this item.