Skip to main content
  • Book
  • © 1971

Proof Theory and Intuitionistic Systems

Part of the book series: Lecture Notes in Mathematics (LNM, volume 212)

Buying options

eBook USD 44.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.95
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (10 chapters)

  1. Front Matter

    Pages I-VII
  2. Introduction and preliminaries

    • Bruno Scarpellini
    Pages 1-33
  3. A review of Gentzen's second consistency proof

    • Bruno Scarpellini
    Pages 34-69
  4. The intuitionistic system of number theory

    • Bruno Scarpellini
    Pages 70-78
  5. Harrop formulas

    • Bruno Scarpellini
    Pages 217-247
  6. The Markov principle

    • Bruno Scarpellini
    Pages 248-255
  7. Back Matter

    Pages 291-291

Keywords

  • Beweistheorie
  • Finite
  • Intuitionistische Mathematik
  • Transfinite induction
  • calculus
  • function
  • proof
  • proof theory
  • well-ordering principle

Bibliographic Information

  • Book Title: Proof Theory and Intuitionistic Systems

  • Authors: Bruno Scarpellini

  • Series Title: Lecture Notes in Mathematics

  • DOI: https://doi.org/10.1007/BFb0068783

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1971

  • Softcover ISBN: 978-3-540-05541-9Published: 01 January 1971

  • eBook ISBN: 978-3-540-36875-5Published: 15 November 2006

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: VIII, 292

  • Topics: Mathematical Logic and Foundations, Mathematics

Buying options

eBook USD 44.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.95
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions