-
RecordNumber
34140
-
Author
Kohlenbach, U. (Ulrich)
-
Title
Applied proof theory :proof interpretations and their use in mathematics
-
Author Statement
U. Kohlenbach
-
Publication
Springer
-
Collation
xix, 532 p. ; 24 cm.
-
Series
Springer monographs in mathematics,1439-7382
-
Notes
Includes bibliographical references (p. [507]-523) and index
-
Subject
Proof theory,Approximation theory,Nonlinear operators,Automatic theorem proving
-
ADDED ENTRIES
TI , SE
-
LC Class
QA
-
LC Number
9.54
-
LC CutterNumber
.K64
-
LC Date
2008
-
LC NO
QA 9.54 .K64 2008
-
Published_Year
c2008
-
Link To Document :
