Elements of Intuitionism

Klappentext This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment of various topics, for example Brouwer's proof of the Bar Theorem, valuation systems, and the completeness of intuitionistic first-order logic, have been completely revised. Zusammenfassung This is a new edition of one of the best known Oxford Logic Guides. The book gives an introduction to intuitionistic mathematics, leading the reader through the basic mathematical and philosophical concepts. Topics like the Bar Theorem, valuation systems and first-order logic have been revised.

Product details

• Authors: Michael Dummett, Sir Michael Dummett, Dummett Michael
• Publisher: Oxford University Press
• Languages: English
• Product format: Hardback
• Released: 01.02.2000
• EAN: 9780198505242
• ISBN: 978-0-19-850524-2
• No. of pages: 344
• Series: Oxford Logic Guides; Oxford Logic Guides
• Subjects: Natural sciences, medicine, IT, technology > Mathematics > General, dictionaries; MATHEMATICS / History & Philosophy, MATHEMATICS / Logic, Philosophy of Mathematics, Mathematical logic