LEADER 01198cam a2200337 a 4500001    9942866283506421
005    20240816114419.0
008    040723s2004    gw a     b    001 0 eng d
010    2004105855
016 7  970163436 |2GyFmDB
020    3540212027 (hd.bd.)
035    (NNU)NYUb12970118
035    (CStRLIN)NYUGB12970118-B
035    (NjP)4286628-princetondb
035    (OCoLC)ocm56014308
035     |z(NjP)Voyager4286628
035     |z(NjP)Voyager4286628
040    OHX |beng |cOHX |dBXM
050  4 QA9.7 |b.L55 2004
072  7 QA |2lcco
100 1  Libkin, Leonid. |0http://id.loc.gov/authorities/names/n98014762
245 10 Elements of finite model theory / |cLeonid Libkin.
260    Berlin ;New York : |bSpringer, |cc2004.
300    xiv, 315 p. : |bill. ; |c25 cm.
440  0 Texts in theoretical computer science
504    Includes bibliographical references (p. [291]-303) and indexes.
650  0 Model theory. |0http://id.loc.gov/authorities/subjects/sh85086421
902    ad |bm |6a |7m |dv |f1 |e20050117
904    ldm |bo |hm |cb |e20041213
914    (OCoLC)ocm56014308 |bOCoLC |cmatch |d20221117 |eprocessed |f56014308
998     |s9115