Advertisement

© 1969

Principles of Intuitionism

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

  • Authors
Book

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

  • Book Title Principles of Intuitionism
  • Book Subtitle Lectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y.
  • Authors Anne S. Troelstra
  • Series Title Lecture Notes in Mathematics
  • Series Abbreviated Title Lecture Notes in Mathematics
  • DOI https://doi.org/10.1007/BFb0080643
  • Copyright Information Springer-Verlag Berlin Heidelberg 1969
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-04614-1
  • eBook ISBN 978-3-540-36130-5
  • Series ISSN 0075-8434
  • Series E-ISSN 1617-9692
  • Edition Number 1
  • Number of Pages IV, 116
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Mathematics, general
  • Buy this book on publisher's site
Industry Sectors
Aerospace
Automotive
Finance, Business & Banking