Skip to main content
SpringerLink
Log in

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

  • Conference proceedings
  • © 1973

Overview

Editors:
  1. A. S. Troelstra

    1. Universiteit van Amsterdam, Amsterdam, Nederland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

  1. Front Matter

    Pages I-XVII
    Download chapter PDF

  2. Intuitionistic formal systems

    Pages 1-96

  3. Models and computability

    Pages 97-174

  4. Realizability and functional interpretations

    Pages 175-274

  5. Normalization theorems for systems of natural deduction

    Pages 275-323

  6. Applications of Kripke models

    • C. A. Smorynski
    Pages 324-391

  7. Iterated inductive definitions, trees and ordinals

    • J. I. Zucker
    Pages 392-453

  8. Erratum

    • Springer-Verlag
    Pages 487-503

  9. Back Matter

    Pages 454-485
    Download chapter PDF
Back to top

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation