Title: Applied Proof Theory
Subjects: Proof theory, Approximation theory, Nonlinear operators, Automatic theorem proving