Skip to main content

Introduction

  • 473 Accesses

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

Keywords

  • Natural Number
  • Formal System
  • Mathematical Thought
  • Intuitionistic Logic
  • Mathematical Argument

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   29.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   39.95
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions
Authors

Rights and permissions

Reprints and Permissions

Copyright information

© 1969 Springer-Verlag

About this chapter

Cite this chapter

Troelstra, A.S. (1969). Introduction. In: Principles of Intuitionism. Lecture Notes in Mathematics, vol 95. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0080644

Download citation

  • DOI: https://doi.org/10.1007/BFb0080644

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-04614-1

  • Online ISBN: 978-3-540-36130-5

  • eBook Packages: Springer Book Archive