Contributions to non-standard analysis. - Luxemburg, W. A. J.,ed (Studies in logic and the foundations of mathematics;69, 1972)