Contributions to non-standard analysis. - Luxemburg, W. A. J., 1929-; Robinson, Abraham, 1918-1974 (Studies in logic and the foundations of mathematics ;, 1972)