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