000 | 01731pam a2200385 i 4500 | ||
---|---|---|---|
001 | 015969360 | ||
003 | EG-GaU | ||
005 | 20211103101422.0 | ||
008 | 111108s2012 enka b 001 0 eng|d | ||
015 |
_aGBB1D1421 _2bnb |
||
016 | 7 |
_a015969360 _2Uk |
|
020 | _a9780521763240 (cased) | ||
020 | _a052176324X (cased) | ||
040 |
_aStDuBDS _beng _cGALALA university _dUk _dEG-GaU _erda |
||
082 | 0 | 4 |
_a511.34 _223 _bT.K.C. |
100 | 1 |
_aTent, Katrin, _d1963- _eauthor. _9158 |
|
245 | 1 | 2 |
_aA course in model theory / _cKatrin Tent, Martin Ziegler. |
264 | 1 |
_aCambridge : _bCambridge University Press, _c2012. |
|
300 |
_ax, 248 pages : _billustrations ; _c24 cm |
||
336 |
_atext _2rdacontent _btxt |
||
337 |
_aunmediated _2rdamedia _bn |
||
338 |
_avolume _2rdacarrier _bnc |
||
490 | 0 |
_aLecture notes in logic ; _v40 |
|
500 | _aPublished in association with the Association for Symbolic Logic. | ||
500 |
_aFormerly CIP. _5Uk |
||
504 | _aIncludes bibliographical references and index. | ||
505 | 0 | 0 |
_tCh.1. The Basics -- _tCh.2. Elementary Extensions and Compactness -- _tCh.3. Quantifier Elimination -- _tCh.4. Countable Models -- _tCh.5. N1-Categorial Theories -- _tCh.6. Morley Rank -- _tCh.7. Simple Theories -- _tCh.8. Stable Theories -- _tCh.9. Prime Extensions -- _tCh.10. The Fine Structure of N1-Categorical Theories. |
650 | 7 |
_aModel theory. _2GU-sh _9159 |
|
650 | 7 |
_aModel theory _vProblems, exercises, etc. _2GU-sh _9160 |
|
700 | 1 |
_aZiegler, Martin., _eauthor. _9161 |
|
710 | 2 |
_aAssociation for Symbolic Logic. _9162 |
|
856 | 4 | 1 |
_uhttps://library.gu.edu.eg/cgi-bin/koha/opac-retrieve-file.pl?id=7b9a231bb865c67c0b5e5e086be5aedf _zGet the E-Book |
942 |
_2ddc _cBK |
||
999 |
_c32 _d32 |