The theory of models : proceedings /
Edited by J.W. Addison, Léon Henkin and Alfred Tarski.
- Amsterdam, North-Holland Pub. Co., 1965.
- xv, 494 p. : ill. ; 23 cm.
- Studies in logic and the foundations of mathematics .
Held at the University of California, Berkeley; sponsored by the Association for Symbolic Logic in cooperation with the Division of Logic, Methodology, and Philosophy of Sciences of the International Union of the History and Philosophy of Science.
Bibliography: p. 442-492.
Logic, Symbolic and mathematical--Congresses. Mathematical models--Congresses.