Author: International Symposium on the Theory of Models (1963 Berkeley, Cal.)