TY  - BOOK
AU  - Addison,J.W.
AU  - Henkin ,Léon
AU  - Tarski,Alfred .
ED  - International Symposium on the Theory of Models
TI  - The theory of models: proceedings 
U1  - 511.3 23
PY  - 1965///
CY  - Amsterdam
PB  - North-Holland Pub. Co.
KW  - Logic, Symbolic and mathematical
KW  - Congresses
KW  - Mathematical models
N1  - 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
ER  -