| 000 | 00861nam a22002657a 4500 | ||
|---|---|---|---|
| 005 | 20240510015149.0 | ||
| 008 | 240510b |||||||| |||| 00| 0 eng d | ||
| 020 | _a9780521718202 paperback | ||
| 040 | _cJHCSC | ||
| 041 | _heng | ||
| 082 | _a530 | ||
| 100 |
_96475 _aEsparza, Javier |
||
| 245 |
_aFinite and algorithmic model theory/ _cJavier Esparza, Christian Michaux, Charles Steinhorn |
||
| 260 |
_aUnited Kingdom; _bCambridge University Press, _cc2011. |
||
| 300 |
_axi; _b341 pages |
||
| 500 | _aIncludes bibliographical references. | ||
| 600 | 0 |
_96475 _aEsparza, Javier |
|
| 600 | 0 |
_96476 _aMichaux, Christian |
|
| 600 | 0 |
_96477 _aSteinhorn, Charles |
|
| 650 | 0 |
_96478 _aFinite model theory |
|
| 650 | 0 |
_91706 _aComputer science _xmathematics |
|
| 700 |
_96476 _aMichaux, Christian |
||
| 700 |
_96477 _aSteinhorn, Charles |
||
| 942 |
_2ddc _cBOOK |
||
| 999 |
_c8669 _d8669 |
||