Companion to analysis: A second first and first second course in analysis - Korner, T W (Providence American Mathematical Society, 2004)