01207nam a2200265 a 450000100060000000300080000600500170001400800410003103500190007204000360009104100080012708200240013511100800015924501000023926000470033930000330038650002520041950400300067165000500070165000370075170000450078870000260083370000260085983000560088569895BD-RjUL20211209081934.0170415s1965    ne a     b    100 0 eng d  a(BD-RjUL)70107  aDLC/ICUcICUdDLCdBD-RjULbeng  aeng00223a511.3bINT 19652 aInternational Symposium on the Theory of Modelsd(1963 :cBerkeley, Calif.)14aThe theory of models :bproceedings /cEdited by J.W. Addison, Léon Henkin and Alfred Tarski.  aAmsterdam,bNorth-Holland Pub. Co.,c1965.  axv, 494 p. :bill. ;c23 cm.  aHeld 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.  aBibliography: p. 442-492. 0aLogic, Symbolic and mathematicalxCongresses. 0aMathematical modelsxCongresses.1 aAddison, J. W.q(John West),d1930-eed.1 aHenkin , Léon eed.1 aTarski, Alfred .eed.  aStudies in logic and the foundations of mathematics