Skip to main content
  • Conference proceedings
  • © 1973

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Editors:

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

Buying options

eBook USD 54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
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 (7 papers)

  1. Front Matter

    Pages I-XVII
  2. Applications of Kripke models

    • C. A. Smorynski
    Pages 324-391
  3. Erratum

    • Springer-Verlag
    Pages 487-503
  4. Back Matter

    Pages 454-485

Keywords

  • Arithmetic
  • Intuitionistische Mathematik
  • Mathematik
  • calculus
  • function
  • ordinal
  • theorem

Editors and Affiliations

  • Universiteit van Amsterdam, Amsterdam, Nederland

    A. S. Troelstra

Bibliographic Information

  • Book Title: Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

  • Editors: A. S. Troelstra

  • Series Title: Lecture Notes in Mathematics

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1973

  • Softcover ISBN: 978-3-540-06491-6Published: 14 November 1973

  • eBook ISBN: 978-3-540-37806-8Published: 15 November 2006

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: XX, 488

  • Topics: Mathematical Logic and Foundations

Buying options

eBook USD 54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
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