Practical foundations of mathematics - Taylor, Paul 1960- (Cambridge University Press, 1999)