01390nam a2200301 a 4500 69895 BD-RjUL 20211209081934.0 170415s1965 ne a b 100 0 eng d (BD-RjUL)70107 DLC/ICU ICU DLC BD-RjUL eng eng 23 511.3 INT 1965 International Symposium on the Theory of Models (1963 : Berkeley, Calif.) 207003 The theory of models : proceedings / Edited by J.W. Addison, Léon Henkin and Alfred Tarski. Amsterdam, North-Holland Pub. Co., 1965. xv, 494 p. : ill. ; 23 cm. 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. Logic, Symbolic and mathematical Congresses. 206999 Mathematical models Congresses. 207000 Addison, J. W. (John West), 1930- ed. 207001 Henkin , Léon ed. 207002 Tarski, Alfred . ed. 163133 Studies in logic and the foundations of mathematics 151087 ddc BK 69895 69895 0 0 ddc 0 1 NFIC RUCL RUCL Reading 1968-10-25 Book View 124.00 0 511.3 INT 1965 2017-04-15 00:00:00 C-1 2017-04-15 BK