A survey of constructive approaches to pure mathematics emphasizing the viewpoint of Errett Bishop's school. Considers intuitionism, Russian constructivism, and

This book is about some recent work in a subject usually considered part of "logic" and the" foundations of mathematics", but also having close connec tions wit

Contents and treatment are fresh and very different from the standard treatments Presents a fully constructive version of what it means to do algebra The exposi

The constructive approach to mathematics has enjoyed a renaissance, caused in large part by the appearance of Errett Bishop's book Foundations of constr"uctiue

This book explains and demonstrates the teaching strategy of asking learners to construct their own examples of mathematical objects. The authors show that the