Normal view MARC view ISBD view

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. - 536 p. : ill., digital ; 25 cm. - Springer Monographs in Mathematics, 1439-7382 .

ISBN: 9783540775331 (electronic bk.) 9783540775324 (paper)

Subjects--Topical Terms:
Logic, Symbolic and mathematical.
Mathematics--Philosophy.
Proof theory.
Categories (Philosophy)
Mathematics.
Approximations and Expansions.
Functional Analysis.
Mathematical Logic and Foundations.
Mathematics, general.
Operator Theory.

Dewey Class. No.: 160

Print
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

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

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

Contact Us

Copyright ©The National University of Malaysia Library