Practical Foundations of Mathematics - "Taylor, Paul" (Cambridge University Press England, 2000)