The theory of models : proccedings of the 1963 international symposium at Berkeley - Addison, J. W. (rz1, 1978)