| 000 | 01984aam a22005291a 4500 | ||
|---|---|---|---|
| 001 | 017584158 | ||
| 003 | Uk | ||
| 005 | 20200124100238.0 | ||
| 006 | m || d | | ||
| 007 | cr ||||||||||| | ||
| 008 | 070823s2001 caua ob 001 0 eng d | ||
| 015 |
_aGBB6H5170 _2bnb |
||
| 020 |
_a9780080496467 _q(electronic bk.) |
||
| 020 |
_a0080496466 _q(electronic bk.) |
||
| 020 | _z0122384520 | ||
| 020 | _z9780122384523 | ||
| 037 |
_a9780080496467 _bIngram Content Group |
||
| 040 |
_aN$T _beng _cN$T _dYDXCP _dOCLCQ _dOSU _dOCLCQ _dOSU _dOCLCQ _dIDEBK _dE7B _dOCLCQ _dUIU _dOPELS _dOCLCF _dUIU _dOCLCQ _dLUN _dOCLCQ _dUk _epn |
||
| 042 | _aukblsr | ||
| 050 | 4 |
_aQA9 _b.E54 2001eb |
|
| 072 | 7 |
_aMAT _x016000 _2bisacsh |
|
| 072 | 7 |
_aMAT _x018000 _2bisacsh |
|
| 082 | 0 | 4 |
_a511/.3 _222 |
| 100 | 1 | 0 |
_aEnderton, Herbert B. _925662 |
| 245 | 1 | 2 |
_aA mathematical introduction to logic / _cHerbert B. Enderton. |
| 250 | _a2nd ed. | ||
| 260 |
_aSan Diego : _bHarcourt/Academic Press, _c©2001. |
||
| 300 |
_a1 online resource (xii, 317 pages) : _billustrations. |
||
| 336 |
_atext _2rdacontent |
||
| 337 |
_acomputer _2rdamedia |
||
| 338 |
_aonline resource _2rdacarrier |
||
| 504 | _aIncludes bibliographical references (pages 307-308) and index. | ||
| 505 | 0 | _aUSEFUL FACTS ABOUT SETS.<br>SENTENTIAL LOGIC.<br>FIRST-ORDER LOGIC.<br>UNDECIDABILITY.<br>SECOND-ORDER LOGIC.<br> | |
| 588 | 0 | _aPrint version record. | |
| 650 | 0 |
_aLogic, Symbolic and mathematical. _925663 |
|
| 650 | 6 |
_aLogique symbolique et mathématique. _925664 |
|
| 650 | 7 |
_aMATHEMATICS _xInfinity. _2bisacsh _925665 |
|
| 650 | 7 |
_aMATHEMATICS _xLogic. _2bisacsh _925666 |
|
| 650 | 7 |
_aLogic, Symbolic and mathematical. _2fast _0(OCoLC)fst01002068 _925663 |
|
| 650 | 1 | 7 |
_aWiskundige logica. _2gtt _925667 |
| 650 | 1 | 7 |
_aSymbolische logica. _2gtt _925668 |
| 655 | 4 |
_aElectronic books. _925669 |
|
| 859 | _aELD | ||
| 889 | _a(OCoLC)166269598 | ||
| 903 | _aELD.DS.35300 | ||
| 999 |
_c9063 _d9063 |
||