Practical Foundations of Mathematics (Cambridge Studies in Advanced Mathematics)