PRACTICAL FOUNDATIONS OF MATHEMATICS (Cambridge Studies in Advanced Mathematics 59)