Elements of intuitionism Book

"This new edition of 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." "Readership: Researchers and second/third year undergraduate and graduate students in mathematical logic and philosophy of mathematics."--BOOK JACKET.