Practical Foundations of Mathematics door Paul Taylor & Taylor Paul