Applied proof theory
Subtitle: proof interpretations and their use in mathematics
By: U. Kohlenbach.
Series: Springer monographs in mathematics
Publisher: Springer
Published: 2008
Place of publication: Berlin
Language: eng
Number of pages: 532
ISBN-13: 9783540775324; 9783540775331
Subjects: Proof theory; Approximation theory; Nonlinear operators; Automatic theorem proving
Notes: Includes bibliographical references (p. [507]-523) and index.