Principles and practice of mathematics (Springer, 1997)