Advertisement

Principles of Intuitionism

Lectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y.

  • Authors
  • A.¬†S.¬†Troelstra

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

Table of contents

  1. Front Matter
    Pages I-III
  2. A. S. Troelstra
    Pages 2-4
  3. A. S. Troelstra
    Pages 5-11
  4. A. S. Troelstra
    Pages 12-13
  5. A. S. Troelstra
    Pages 14-16
  6. A. S. Troelstra
    Pages 16-21
  7. A. S. Troelstra
    Pages 22-26
  8. A. S. Troelstra
    Pages 26-28
  9. A. S. Troelstra
    Pages 29-33
  10. A. S. Troelstra
    Pages 34-43
  11. A. S. Troelstra
    Pages 44-56
  12. A. S. Troelstra
    Pages 57-64
  13. A. S. Troelstra
    Pages 64-70
  14. A. S. Troelstra
    Pages 76-90
  15. A. S. Troelstra
    Pages 95-107
  16. Back Matter
    Pages 108-111

About this book

Keywords

Arithmetic Intuitionism Intuitionistische Mathematik Proof theory Topology mathematics ordinal proof theorem well-ordering principle

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0080643
  • Copyright Information Springer-Verlag Berlin Heidelberg 1969
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-04614-1
  • Online ISBN 978-3-540-36130-5
  • Series Print ISSN 0075-8434
  • Series Online ISSN 1617-9692
  • Buy this book on publisher's site