Introduction to Analysis - Kripke, Bernard