Contributions to non-standard analysis (North-Holland Pub. Co., 1972)
Includes bibliographical references and index