Applied proof theory : proof interpretations and their use in mathematics /

other_versions_link
ग्रंथसूची विवरण
मुख्य लेखक: Kohlenbach, U.
स्वरूप: Printed Book
प्रकाशित: Berlin : Springer, c2008.
श्रृंखला:Springer monographs in mathematics,
विषय:
Proof theory.
Approximation theory.
Nonlinear operators.
Automatic theorem proving.

समान संसाधन