Advertisement

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

  • A. S. Troelstra

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

Table of contents

  1. Front Matter
    Pages I-XVII
  2. C. A. Smorynski
    Pages 324-391
  3. Springer-Verlag
    Pages 487-503
  4. Back Matter
    Pages 454-485

About these proceedings

Keywords

Arithmetic Intuitionistische Mathematik Mathematik calculus function ordinal theorem

Editors and affiliations

  • A. S. Troelstra
    • 1
  1. 1.Universiteit van AmsterdamAmsterdamNederland

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0066739
  • Copyright Information Springer-Verlag Berlin Heidelberg 1973
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-06491-6
  • Online ISBN 978-3-540-37806-8
  • Series Print ISSN 0075-8434
  • Buy this book on publisher's site