Practical Foundations of Mathematics by Paul Taylor | Lex | Lex