The theory of models : proceedings of the 1963 internationl symposium - International Symposium on the Theory of Models (1963 : Berleley); Addison, J. W. , 1930-; Henkin, Leon; Tarski, Alfred (Amsterdam : North-Holland Pub., 1965)
Includes bibliographical references and index
Keywords: Logic, Symbolic and mathematical; Mathematical models