عنوان
پدید آورنده
موضوع
رده
QA 9 .54 .K64 2008
QA
9
.
54
.
K64
2008
کتابخانه
محل استقرار
149493
تابستان۸۸
English
)20(
Kohlenbach, U. )Ulrich(
Applied proof theory: proof interpretations and their use in mathematics
Berlin
Springer
2008
xix, 532 p.; 24 cm
Springer monographs in mathematics,9341-2837
Includes bibliographical references and index
، Proof theory
، Approximation theory
، Nonlinear operators
، Automatic theorem proving
QA
9
.
54
.
K64
2008
AU
U. Kohlenbach
TI
SE
02
