Normal view MARC view ISBD view

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics - Berlin, Heidelberg Springer Berlin Heidelberg 2008.

Mathematics and Statistics (Springer-11649)

ISBN: 9783540775331, 978-3-540-77533-1

Subjects--Topical Terms:
Logic, Symbolic and mathematical
Mathematics, general
Approximations and Expansions
Functional analysis
Functional Analysis
Mathematical Logic and Foundations
Mathematics
Mathematics
Operator theory
Operator Theory

Dewey Class. No.: 510, / 23

Print
Add to your cart (remove)
Suggest for purchase
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)