Practical foundations of mathematics

Taylor, Paul, Practical foundations of mathematics, Cambridge studies in advanced mathematics 59, Cambridge university press, 1999.

book