The theory of models: proceedings of the 1963 International Symposium at Berkeley. - Tarski, Alfred (Studies in logic and the foundations of mathematics, 1965)