TY  - BOOK
AU  - Addison,J.W.
AU  - Henkin,Leon
AU  - Tarski,Alfred
ED  - International Symposium on the Theory of Models
TI  - The theory of models: proceedings of the 1963 internationl symposium 
U1  - 164.082 
PY  - 1965///
CY  - Amsterdam
PB  - North-Holland Pub.
KW  - Logic, Symbolic and mathematical
KW  - Mathematical models
N1  - Includes bibliographical references and index
ER  -