Non-Standard Analysis. - Robinson, Abraham (Studies in logic and the foundations of mathematics., 1966)