Lecture Notes in Mathematics

Principles of Intuitionism

Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY

Authors: Troelstra, Anne S.

Free Preview

Buy this book

eBook 18,18 €
price for Spain (gross)
  • ISBN 978-3-540-36130-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 25,95 €
price for Spain (gross)
  • ISBN 978-3-540-04614-1
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules

Table of contents (16 chapters)

Table of contents (16 chapters)
  • Introduction

    Pages 2-4

    Troelstra, A. S.

  • Logic

    Pages 5-11

    Troelstra, A. S.

  • Elementary arithmetic

    Pages 12-13

    Troelstra, A. S.

  • Species

    Pages 14-16

    Troelstra, A. S.

  • Sequences and constructive (lawlike) objects

    Pages 16-21

    Troelstra, A. S.

Buy this book

eBook 18,18 €
price for Spain (gross)
  • ISBN 978-3-540-36130-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 25,95 €
price for Spain (gross)
  • ISBN 978-3-540-04614-1
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Bibliographic Information

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, NY
Authors
Series Title
Lecture Notes in Mathematics
Series Volume
95
Copyright
1969
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-36130-5
DOI
10.1007/BFb0080643
Softcover ISBN
978-3-540-04614-1
Series ISSN
0075-8434
Edition Number
1
Number of Pages
IV, 116
Topics