Author: Victoria Symposium on Nonstandard Analysis (1972 University of Victoria)