Skip to main content
SpringerLink
Log in
Book cover

Proof Theory

  • Book
  • © 1977

Overview

Authors:
  1. Kurt Schütte

    1. Mathematisches Institut, Ludwig-Maximilians-Universität, München 2, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 109.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 139.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 chapters)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Introduction

    1. Introduction

      • Kurt Schütte
      Pages 1-4

  3. Pure Logic

    1. Front Matter

      Pages 5-5
      Download chapter PDF

    2. Fundamentals

      • Kurt Schütte
      Pages 7-18

    3. Classical Predicate Calculus

      • Kurt Schütte
      Pages 19-35

    4. Intuitionistic Predicate Calculus

      • Kurt Schütte
      Pages 36-55

    5. Classical Simple Type Theory

      • Kurt Schütte
      Pages 56-70

  4. Systems of Arithmetic

    1. Front Matter

      Pages 71-71
      Download chapter PDF

    2. Ordinal Numbers and Ordinal Terms

      • Kurt Schütte
      Pages 73-97

    3. Functionals of Finite Type

      • Kurt Schütte
      Pages 98-133

    4. Pure Number Theory

      • Kurt Schütte
      Pages 134-164

  5. Subsystems of Analysis

    1. Front Matter

      Pages 165-165
      Download chapter PDF

    2. Predicative Analysis

      • Kurt Schütte
      Pages 167-220

    3. Higher Ordinals and Systems of Π 11 -Analysis

      • Kurt Schütte
      Pages 221-292

  6. Back Matter

    Pages 293-302
    Download chapter PDF
Back to top

Keywords

Authors and Affiliations

  • Mathematisches Institut, Ludwig-Maximilians-Universität, München 2, Germany

    Kurt Schütte

Bibliographic Information

  • Book Title: Proof Theory

  • Authors: Kurt Schütte

  • Series Title: Grundlehren der mathematischen Wissenschaften

  • DOI: https://doi.org/10.1007/978-3-642-66473-1

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1977

  • Softcover ISBN: 978-3-642-66475-5Published: 17 November 2011

  • eBook ISBN: 978-3-642-66473-1Published: 06 December 2012

  • Series ISSN: 0072-7830

  • Series E-ISSN: 2196-9701

  • Edition Number: 1

  • Number of Pages: XII, 302

  • Additional Information: Original German edition published 1960 as Band 103 of the same series

  • Topics: Mathematics, general

Publish with us

Policies and ethics

Back to top

Search

Navigation