Tools

LEADER 01386cam 22003974a 4500

001 ocm42002596;

003 OCoLC;

005 20141212132437.0;

008 990719s1999 gw a b 001 0 eng ;

010 a| 99039853;

020 a| 3540657584 (softcover : alk. paper);

035 a| (Sirsi) o42002596;

035 a| (OCoLC)42002596;

040 a| DLCc| DLCd| C#Pd| UtOrBLW;

042 a| pcc;

049 a| EREE;

050 00 a| QA9.7b| .E23 1999;

082 00 a| 511.32| 21;

100 1 a| Ebbinghaus, Heinz-Dieter,d| 1939-=| ^A165318;

245 10 a| Finite model theory /c| Heinz-Dieter Ebbinghaus, Jörg Flum.;

250 a| 2nd rev. and enl. ed.;

260 a| Berlin ;a| New York :b| Springer,c| 1999.;

300 a| xiii, 360 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Perspectives in mathematical logic,x| 0172-6641;

504 a| Includes bibliographical references (p. [339]-347) and index.;

650 0 a| Model theory.=| ^A21581;

700 1 a| Flum, Jörg.=| ^A311237;

830 0 a| Perspectives in mathematical logic.=| ^A245279;

910 a| PromptCat;

980 a| 1999-10-20b| 49.95d| 2.52e| 41.96f| 32958;

596 a| 1;

998 a| 657818;

999 a| QA9.7 .E23 1999w| LCc| 1i| 30372010596762d| 2/1/2013e| 6/10/2002f| 2/1/2013g| 1l| JGESm| JOYNERn| 1r| Ys| Yt| JGESBKu| 2/28/2000x| BOOKz| JSTACKSo| .STAFF. 0;

Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum.

Author/creator	Ebbinghaus, Heinz-Dieter, 1939-
Other author	Flum, Jörg.
Format	Book
Edition	2nd rev. and enl. ed.
Publication Info	Berlin ; New York : Springer, 1999.
Description	xiii, 360 pages : illustrations ; 24 cm.
Subjects	Model theory.

Series	Perspectives in mathematical logic, 0172-6641 Perspectives in mathematical logic. ^A245279
Bibliography note	Includes bibliographical references (p. [339]-347) and index.
LCCN	99039853
ISBN	3540657584 (softcover : alk. paper)

Availability

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

Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum.

Click here for more information about this title

Availability