Introduction to analysis - Kripke, Bernard (Freeman, 1968)