Introduction to analysis - Kripke, Bernard (Series of books in mathematics, 1968)