Tools

LEADER 01358cam a22003611 4500

001 ocm00526311;

005 20141212082948.0;

008 740610s1967 ne 000 0 eng ;

010 a| 67020006;

015 a| Ne67-45;

035 a| (Sirsi) o00526311;

035 a| (OCoLC)526311;

041 1 a| enga| und;

049 a| EREE;

050 00 a| QA9b| .K7713;

100 1 a| Kreisel, Georg.=| ^A270264;

245 10 a| Elements of mathematical logic. :b| (Model theory) /c| [By] G. Kreisel and J. L. Krivine.;

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

300 a| xi, 221 pages ;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| Translation of Eléments de logique mathématique, theorie des modéles.;

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

700 1 a| Krivine, J. L.q| (Jean Louis)=| ^A270265;

730 0 a| Eléments de logique mathématique, theorie des modéles.?| UNAUTHORIZED;

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

919 a| BOOK;

596 a| 1;

998 a| 388561;

999 a| QA9.K7713w| LCc| 1i| 30372005874208d| 1/31/2013e| 1/8/2002l| JGESm| JOYNERn| 1q| 1r| Ys| Yt| JGESBKu| 6/27/1991x| BOOKz| JSTACKSo| .STAFF. 0;

Elements of mathematical logic. : (Model theory) / [By] G. Kreisel and J. L. Krivine.

Author/creator	Kreisel, Georg
Other author	Krivine, J. L. (Jean Louis)
Format	Book
Publication Info	Amsterdam : North Holland Pub. Co., 1967.
Description	xi, 221 pages ; 23 cm.
Subjects	Logic, Symbolic and mathematical.

Series	Studies in logic and the foundations of mathematics Studies in logic and the foundations of mathematics. ^A16526
General note	Translation of Eléments de logique mathématique, theorie des modéles.
Other title	Eléments de logique mathématique, theorie des modéles.
LCCN	67020006

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA9.K7713	✔ Available	Place Hold

Click here for more information about this title