This text gives a systematic, detailed constructive theory of probability theory, in the sense of Bishop's constructive mathematics. It is accessible to beginning graduate students with no prior training in constructive mathematics or probability theory and will interest readers in either discipline, as well as those interested in the intersection.