Catalog

Record Details

Catalog Search


Applied Proof Theory: Proof Interpretations and Their Use in Mathematics Cover Image E-book E-book

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics [electronic resource] / by Ulrich Kohlenbach.

Kohlenbach, Ulrich. (author.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783540775331
  • Physical Description: XX, 536 p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Search for related items by subject

Subject: Mathematics.
Functional analysis.
Operator theory.
Logic, Symbolic and mathematical.
Mathematics.
Mathematics, general.
Approximations and Expansions.
Operator Theory.
Mathematical Logic and Foundations.
Functional Analysis.

Search for related items by series

Electronic resources

Texto completo


Additional Resources