Introduction to analysis. - Kripke, Bernard (W. H. Freeman and Co., 1968)