Explores the foundations of mathematics, focusing on the work of Errett Bishop.
Examines the role of intuitionism and constructivism in mathematics.
Discusses the relationship between mathematics and computer science.
Includes contributions from leading mathematicians in the field.
* Provides a comprehensive overview of the current state of constructive mathematics