International Symposium on the Theory of Models, University of California, 1963