Small book cover: Foundations of Constructive Probability Theory