| 000 | 00980pam a2200313 i 4500 | ||
|---|---|---|---|
| 001 | 4664124 | ||
| 003 | ARRUPE | ||
| 005 | 20211102105032.0 | ||
| 008 | 800609s1980 enk b 001 0 eng | ||
| 010 | _a 80040432 | ||
| 015 | _aGB80 | ||
| 020 | _a0521299675 (pbk.) | ||
| 020 | _a0521234794 | ||
| 040 |
_aDLC _cDLC _dDLC |
||
| 050 | 0 | 0 |
_aQA9.59 _b.B66 1980 |
| 082 | 0 | 0 | _a511.3 |
| 100 | 1 |
_aBoolos, George. _950892 |
|
| 245 | 1 | 0 |
_aComputability and logic / _cGeorge Boolos, Richard Jeffrey. |
| 250 | _a2d ed. | ||
| 260 |
_aCambridge [Eng.] ; _aNew York : _bCambridge University Press, _c1980. |
||
| 300 |
_ax, 285 p. ; _c24 cm. |
||
| 504 | _aIncludes bibliographical references and index. | ||
| 650 | 0 |
_aComputable functions. _950893 |
|
| 650 | 0 |
_aRecursive functions. _950894 |
|
| 650 | 0 | _aLogic, Symbolic and mathematical. | |
| 700 | 1 |
_aJeffrey, Richard C., _ejoint author. _911333 |
|
| 906 |
_a7 _bcbc _corignew _du _eocip _f19 _gy-gencatlg |
||
| 942 |
_2lcc _cMONOGRAPH |
||
| 999 |
_c131071 _d131071 |
||