Foundations of modern analysis - Friedman, Avner (Dover books on mathematics, 1982)