Foundations of real and abstract analysis - Bridges, Douglas S. (Springer, 1998)