| 000 | 01370cam a2200349 i 4500 | ||
|---|---|---|---|
| 001 | 12491576 | ||
| 003 | EG-ScBUE | ||
| 005 | 20240909121642.0 | ||
| 008 | 010802s2002 enka f b 001 0 eng d | ||
| 020 | _a9780521007580 | ||
| 020 | _a0521007585 (pbk.) | ||
| 040 |
_aDLC _beng _erda _cDLC _dDLC _dEG-ScBUE |
||
| 082 | 0 | 4 |
_a511.3 _222 _bBOO |
| 100 | 1 |
_aBoolos, George, _eauthor. _96576 |
|
| 245 | 1 | 0 |
_aComputability and Logic / _cGeorge S. Boolos, John P. Burgess, Princeton University, Richard C. Jeffrey, Princeton University. |
| 250 | _aFourth edition. | ||
| 264 | 1 |
_aCambridge ; _aNew York : _bCambridge University Press, _c2002. |
|
| 300 |
_axi, 356 pages : _billustrations ; _c27 cm |
||
| 336 |
_2rdacontent _atext _btxt |
||
| 337 |
_aunmediated _2rdamedia _bn |
||
| 338 |
_avolume _bnc _2rdacarrier |
||
| 504 | _aIncludes bibliographical references and index. | ||
| 650 | 7 |
_aComputable functions. _2BUEsh _96577 |
|
| 650 | 7 |
_aRecursive functions. _2BUEsh _96578 |
|
| 650 | 7 |
_aLogic, Symbolic and mathematical. _2BUEsh _96579 |
|
| 655 | _vReading book | ||
| 700 | 1 |
_aBurgess, John P., _d1948- _eauthor. _96580 |
|
| 700 | 1 |
_aJeffrey, Richard C., _eauthor. _96581 |
|
| 856 | 4 | 2 |
_3Publisher description _uhttp://www.loc.gov/catdir/description/cam022/2001043302.html |
| 856 | 4 | 1 |
_3Table of contents _uhttp://www.loc.gov/catdir/toc/cam024/2001043302.html |
| 942 |
_2ddc _cBB |
||
| 999 |
_c11932 _d11932 |
||