International Symposium on the Theory of Models (1963 Berkeley, Calif.)