Proof theory 18 Logic, Symbolic and mathematical 9 Probabilities 4 Mathematics 3 Computable functions 2 Induction (Mathematics) 2 Approximation theory 1 Automatic theorem proving 1 Beweis 1 Einführung 1 Induction-Mathematics 1 Inductive logic 1 Lecture Notes in Mathematics 1 Logi Philosophy 1 Logic 1 Logic-Symbolic and mathematical 1 MATHEMATICS / Logic 1 Mathematical analysis 1 Mathematics- Proof theory 1 Mathematik 1 Mathematische Logik 1 Nonclassical mathematical logic 1 Nonlinear operators 1 Number theory-- Algebra-- Mathematics 1 Philosophie 1 Philosophy 1 Programming language and semantics 1 Reasoning 1 Set theory-- Fuzzy sets-- Transfinite numbers 1