Tools

LEADER 01359cam a2200397Ia 4500

001 ocm56014308;

003 OCoLC;

005 20141212180157.0;

008 040723s2004 gw a b 001 0 eng d;

010 a| 2004105855;

016 7 a| 9701634362| GyFmDB;

020 a| 3540212027 (hd.bd.);

035 a| (Sirsi) o56014308;

035 a| (OCoLC)56014308;

040 a| OHXc| OHXd| BXMd| UtOrBLW;

049 a| EREE;

072 7 a| QA2| lcco;

090 a| QA9.7b| .L55 2004;

100 1 a| Libkin, Leonid.=| ^A406321;

245 10 a| Elements of finite model theory /c| Leonid Libkin.;

300 a| xiv, 315 pages :b| illustrations ;c| 25 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Texts in theoretical computer science;

504 a| Includes bibliographical references (p. [291]-303) and indexes.;

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

830 0 a| Texts in theoretical computer science.=| ^A393180;

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har040031129c| 42.75 EUR;

980 a| 2004-10-20b| 54.95d| 0e| 46.16f| 473325;

596 a| 1;

998 a| 975908;

999 a| QA9.7 .L55 2004w| LCc| 1i| 30372012617376d| 2/1/2013f| 2/1/2013g| 1l| JGESm| JOYNERp| $46.16r| Ys| Yt| JGESBKu| 10/28/2004x| BOOKz| JSTACKSo| .STAFF. 0;

Elements of finite model theory / Leonid Libkin.

Author/creator	Libkin, Leonid
Format	Book
Publication Info	Berlin ; New York : Springer, ©2004.
Description	xiv, 315 pages : illustrations ; 25 cm.
Subjects	Model theory.

Series	Texts in theoretical computer science Texts in theoretical computer science. ^A393180
Bibliography note	Includes bibliographical references (p. [291]-303) and indexes.
LCCN	2004105855
ISBN	3540212027 (hd.bd.)

Availability

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

Elements of finite model theory / Leonid Libkin.

Click here for more information about this title

Availability