Introduction to Analysis - Kripke, Bernard (Freeman and Co., 1968)