Advertisement

Proof Theory

  • Kurt Schütte

Part of the Grundlehren der mathematischen Wissenschaften book series (GL, volume 225)

Table of contents

  1. Front Matter
    Pages i-xii
  2. Introduction

    1. Kurt Schütte
      Pages 1-4
  3. Pure Logic

    1. Front Matter
      Pages 5-5
    2. Kurt Schütte
      Pages 7-18
    3. Kurt Schütte
      Pages 19-35
    4. Kurt Schütte
      Pages 36-55
    5. Kurt Schütte
      Pages 56-70
  4. Systems of Arithmetic

    1. Front Matter
      Pages 71-71
    2. Kurt Schütte
      Pages 73-97
    3. Kurt Schütte
      Pages 98-133
    4. Kurt Schütte
      Pages 134-164
  5. Subsystems of Analysis

    1. Front Matter
      Pages 165-165
    2. Kurt Schütte
      Pages 167-220
    3. Kurt Schütte
      Pages 221-292
  6. Back Matter
    Pages 293-302

About this book

Keywords

Beweistheorie Finite calculus function ordinal predicate logic proof proof theory type theory

Authors and affiliations

  • Kurt Schütte
    • 1
  1. 1.Mathematisches InstitutLudwig-Maximilians-UniversitätMünchen 2Germany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-66473-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 1977
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-66475-5
  • Online ISBN 978-3-642-66473-1
  • Series Print ISSN 0072-7830
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Consumer Packaged Goods
Aerospace
Oil, Gas & Geosciences