Foundations of Constructive Probability Theory

This book provides a systematic and general theory of probability within the framework of Constructive Mathematics. Using Errett Bishop's work on constructive analysis as a framework, this monograph gives a systematic, detailed and general constructive theory of probability theory and stochastic processes.

It extends the range of constructive mathematics to the arena of probability theory. It can well serve as a parallel introduction into constructive mathematics and rigorous probability theory.