Introduction to analysis. - KRIPKE Bernard (San Francisco W H Freeman & Co., 1968)