000 | 00505pam a2200157a 44500 | ||
---|---|---|---|
008 | 160408b2007 xxu||||| |||| 00| 0 eng d | ||
020 | _a9783540004288 | ||
082 |
_a511.3 _bF495 |
||
100 | _aGradel, Erich...[Et. Al] | ||
245 | 1 | _aFinite model theory and its applications | |
260 |
_aBerlin _bSpringer _c2007 |
||
300 | _axi | ||
440 |
_aTexts In Theoretical Computer Science An Eatcs Series _v |
||
650 | _aMathematical Logic 2.Computational Complexity 3.Database Theory | ||
997 | _aA159591 C | ||
999 |
_c359110 _d359110 |