Practical Foundations of Mathematics by Paul Taylor & Taylor Paul