01467nam a2200301 a 450000100060000000300080000600500170001400800410003103500190007204000360009104100080012708200240013511100880015924501000024726000470034730000330039450002520042750400300067965000580070965000450076770000530081270000340086570000340089983000640093394200120099799900170100995201390102669895BD-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.)920700314aThe 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.9206999 0aMathematical modelsxCongresses.92070001 aAddison, J. W.q(John West),d1930-eed.92070011 aHenkin , Léon eed.92070021 aTarski, Alfred .eed.9163133 aStudies in logic and the foundations of mathematics9151087 2ddccBK c69895d69895 00102ddc40718NFICaRUCLbRUCLcReadingd1968-10-25eBook Viewg124.00l0o511.3 INT 1965r2017-04-15 00:00:00tC-1w2017-04-15yBK