Tools

LEADER 02025cam a22004211 4500

001 ocm00373236;

005 20141212074836.0;

008 840509s1965 ne c b 100 0 eng ;

010 a| 66007051;

019 a| 9331295;

020 z| 720422337;

035 a| (Sirsi) o00373236;

035 a| (OCoLC)373236;

040 a| DLC/ICUc| CGUd| m.c.d| m/cd| EREd| UtOrBLW;

049 a| EREE;

050 00 a| BC135b| .I586 1963;

082 0 a| 164;

111 2 a| International Symposium on the Theory of Modelsd| (1963 :c| Berkeley, Calif.)=| ^A251446;

245 14 a| The theory of models ;b| proceedings /c| Edited by J.W. Addison, Léon Henkin [and] Alfred Tarski.;

260 a| Amsterdam :b| North-Holland Pub. Co.,c| 1965.;

300 a| xv, 494 pages :b| portrait ;c| 23 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Studies in logic and the foundations of mathematics;

500 a| 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.;

504 a| Bibliography: p. 442-492.;

650 0 a| Logic, Symbolic and mathematicalv| Congresses.=| ^A39117;

650 0 a| Mathematical modelsv| Congresses.=| ^A52015;

700 1 a| Addison, J. W.q| (John West),d| 1930-=| ^A251447;

710 2 a| University of California, Berkeley.=| ^A15678;

710 2 a| Association for Symbolic Logic.=| ^A46576;

710 2 a| International Union of the History and Philosophy of Science.b| Division of Logic, Methodology and Philosophy of Science.=| ^A39006;

830 0 a| Studies in logic and the foundations of mathematics.=| ^A16526;

919 a| BOOK;

596 a| 1;

998 a| 356449;

999 a| BC135 .I586 1963w| LCc| 1i| 30372005093494d| 5/5/2009e| 8/11/1993f| 4/22/2009g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 7/27/1990x| BOOKz| JSTACKSo| .STAFF. .note. 1 External uses Location when checked out Joynero| .STAFF. 0;

The theory of models ; proceedings / Edited by J.W. Addison, Léon Henkin [and] Alfred Tarski.

Author/creator	International Symposium on the Theory of Models
Format	Book
Publication Info	Amsterdam : North-Holland Pub. Co., 1965.
Description	xv, 494 pages : portrait ; 23 cm.
Subjects	Logic, Symbolic and mathematical--Congresses. Mathematical models--Congresses.

Other author/creator	Addison, J. W. (John West), 1930-
Other author/creator	University of California, Berkeley.
Other author/creator	Association for Symbolic Logic.
Other author/creator	International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science.
Series	Studies in logic and the foundations of mathematics Studies in logic and the foundations of mathematics. ^A16526
General note	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 note	Bibliography: p. 442-492.
LCCN	66007051

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	BC135 .I586 1963	✔ Available	Place Hold

The theory of models ; proceedings / Edited by J.W. Addison, Léon Henkin [and] Alfred Tarski.

Click here for more information about this title

Availability