Advertisement

© 1977

Proof Theory

Book

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

  1. 1.Mathematisches InstitutLudwig-Maximilians-UniversitätMünchen 2Germany

Bibliographic information

  • Book Title Proof Theory
  • Authors K. Schütte
  • Series Title Grundlehren der mathematischen Wissenschaften
  • 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
  • Hardcover ISBN 978-3-540-07911-8
  • Softcover ISBN 978-3-642-66475-5
  • eBook ISBN 978-3-642-66473-1
  • Series ISSN 0072-7830
  • Edition Number 1
  • Number of Pages XII, 302
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Additional Information Original German edition published 1960 as Band 103 of the same series
  • Topics Mathematics, general
  • Buy this book on publisher's site
Industry Sectors
Aerospace
Automotive
Finance, Business & Banking