Non-standard analysis - Robinson, Abraham (Studies in logic and the foundations of mathematics, 1966)