Elements of Intuitionism - Dummett, Michael (Emeritus Professor of Philosophy, Emeritus Professor of Philosophy, University of Oxford)

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.