Probability and stochastics by Erhan Cinlar is a modern, measure theoretic approach to probability.