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

This book, Foundations of Constructive Analysis, founded the field of constructive analysis because it proved most of the important theorems in real analysis by

This book provides a systematic and general theory of probability within the framework of constructive mathematics.

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

The book "Foundational Theories of Classical and Constructive Mathematics" is a book on the classical topic of foundations of mathematics. Its originality resid