TY - BOOK AU - Addison,J.W. TI - The theory of models : : proceedings of the 1963 international symposium at Berkeley AV - BC135.I586 PY - 1972/// CY - Amsterdam PB - North-Holland Publishing Company KW - Logic, Symbolic and mathematical KW - Congresses KW - Mathematical models KW - Studies in logic and foundations of mathematics N1 - Includes bibliographical references ER -