Applied Proof Theory
Subtitle: Proof Interpretations and Their Use in Mathematics
Publisher: Springer Berlin / Heidelberg
Published: 2010
Language: eng
ISBN-13: 9783642096273
Subjects: Proof theory; Approximation theory; Nonlinear operators; Automatic theorem proving