Elements of Intuitionism

Oxford University Press (2000)
Abstract
This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an informal but thorough introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment of various topics has been completely revised for this second edition. Brouwer's proof of the Bar Theorem has been reworked, the account of valuation systems simplified, and the treatment of generalized Beth Trees and the completeness of intuitionistic first-order logic rewritten. Readers are assumed to have some knowledge of classical formal logic and a general awareness of the history of intuitionism.
Keywords Intuitionistic mathematics
Categories (categorize this paper)
Buy the book $188.97 new (6% off)   $189.05 direct from Amazon (5% off)   $228.85 used    Amazon page
Call number QA9.47.D84 2000
ISBN(s) 0198505248   9780198505242
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
 
Download options
PhilPapers Archive


Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 9,357
External links
  •   Try with proxy.
  • Through your library Configure
    References found in this work BETA

    No references found.

    Citations of this work BETA
    Jan Westerhoff (2006). Nāgārjuna's Catuṣkoṭi. Journal of Indian Philosophy 34 (4):367-395.

    View all 58 citations

    Similar books and articles
    Analytics

    Monthly downloads

    Added to index

    2009-01-28

    Total downloads

    163 ( #3,265 of 1,088,400 )

    Recent downloads (6 months)

    5 ( #20,058 of 1,088,400 )

    How can I increase my downloads?

    My notes
    Sign in to use this feature


    Discussion
    Start a new thread
    Order:
    There  are no threads in this forum
    Nothing in this forum yet.