Title: Applied proof theory
First published: 2008
Subjects: Nonlinear operators, Approximation theory, Proof theory, Automatic theorem proving, Functional analysis, Operator theory, Mathematics, Symbolic and mathematical Logic, Mathematics, general, Approximations and Expansions, Mathematical Logic and Foundations
LC classification: QA9.54 .K64 2008