Foundations of Constructive Probability Theory (Encyclopedia of Mathematics and Its Applications)