Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
by
 
Kohlenbach, Ulrich. author.

Title
: 
Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

Author
: 
Kohlenbach, Ulrich. author.

ISBN
: 
9783540775331

Physical Description
: 
XX, 536 p. online resource.

Series
: 
Springer Monographs in Mathematics,

Series Title
: 
Springer Monographs in Mathematics, 1439-7382

Subject Term
: 
Mathematics.
 
Functional analysis.
 
Operator theory.
 
Logic, Symbolic and mathematical.

Added Corporate Author
: 
SpringerLink (Online service)

Electronic Access
: 
http://dx.doi.org/10.1007/978-3-540-77533-1


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book187903-2001ONLINEElektronik Kütüphane