Author | Schรผtte, Kurt. author |
---|---|
Title | Proof Theory [electronic resource] / by Kurt Schรผtte |
Imprint | Berlin, Heidelberg : Springer Berlin Heidelberg, 1977 |
Connect to | http://dx.doi.org/10.1007/978-3-642-66473-1 |
Descript | XII, 302 p. online resource |
A. Pure Logic -- I. Fundamentals -- II. Classical Predicate Calculus -- III. Intuitionistic Predicate Calculus -- IV. Classical Simple Type Theory -- B. Systems of Arithmetic -- V. Ordinal Numbers and Ordinal Terms -- VI. Functional of Finite Type -- VII. Pure Number Theory -- C. Subsystems of Analysis -- VIII. Predicative Analysis -- IX. Higher Ordinals and Systems of ?11-Analysis