Constructive mathematics – mathematics in which 'there exists' always means 'we can construct' – is enjoying a renaissance. fifty years on from Bishop's gro

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

Gives a complete overview of modern constructive mathematics and its applications through surveys by leading experts.

Handbook of Analysis and Its Foundations is a self-contained and unified handbook on mathematical analysis and its foundations. Intended as a self-study guide f

According to the great mathematician Paul Erdös, God maintains perfect mathematical proofs in The Book. This book presents the authors candidates for such "per