Elements of Intuitionism by Michael DummettElements of Intuitionism by Michael Dummett

Elements of Intuitionism

byMichael Dummett

Hardcover | June 1, 2000

Pricing and Purchase Info

$302.09 online 
$465.00 list price save 35%
Earn 1510 plum® points
Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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 hasbeen 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 someknowledge of classical formal logic and a general awareness of the history of intuitionism. From reviews of the first edition: This excellent book can be recommended to the student of mathematics or philosophy wishing to get a comprehensive and reliable introduction to modern intuitionism. Zentralblatt fur Mathematik The relevance of this book extends well beyond the confines of the philosophy of mathematics, right to the centre of debates in the philosophy of language. Philosophical Books . . . a valuable and original contribution to the philosophy of mathematics. Journal ofSymbolic Logic
Michael Dummett is at University of Oxford.
Loading
Title:Elements of IntuitionismFormat:HardcoverPublished:June 1, 2000Publisher:Oxford University PressLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:0198505248

ISBN - 13:9780198505242

Look for similar items by category:

Reviews

Table of Contents

Introductory remarks1. Preliminaries2. Elementary intuitionistic mathematics3. Choice sequences and spreads4. The formalization of intuitionistic logic5. The semantics of intuitionistic logic6. Some further topics7 Concluding philosophical remarksBibliographyIndex