AuthorSchรผtte, Kurt. author
TitleProof Theory [electronic resource] / by Kurt Schรผtte
ImprintBerlin, Heidelberg : Springer Berlin Heidelberg, 1977
Connect tohttp://dx.doi.org/10.1007/978-3-642-66473-1
Descript XII, 302 p. online resource

CONTENT

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


SUBJECT

  1. Mathematics
  2. Mathematics
  3. Mathematics
  4. general