Foundations of Modern Analysis - Friedman, Avner