Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
Material type: Computer fileLanguage: English Publication details: Berlin, Heidelberg Springer Berlin Heidelberg 2008. ISBN: 9783540775331, 978-3-540-77533-1Subject(s): Logic, Symbolic and mathematical | Mathematics, general | Approximations and Expansions | Functional analysis | Functional Analysis | Mathematical Logic and Foundations | Mathematics | Mathematics | Operator theory | Operator TheoryDDC classification: 510, Online resources: Click here to access onlineItem type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
E(electronic)-Books | NISER LIBRARY | 510, 23 (Browse shelf(Opens below)) | Available | E1839 |
Mathematics and Statistics (Springer-11649)
There are no comments on this title.