| 000 | 00791nam a2200241 a 4500 | ||
|---|---|---|---|
| 001 | 11743 | ||
| 003 | CY-NiPEI | ||
| 005 | 20210211074944.0 | ||
| 008 | 180509s1982 uk a f ||| |engd | ||
| 020 |
_a0521299675 _q(pbk.) |
||
| 040 |
_beng _aCY-NiPEI |
||
| 082 | 7 |
_a511.3 _223 |
|
| 100 | 1 |
_aBoolos, George _4aut _91701 |
|
| 245 | 1 | 0 |
_aComputability and logic / _cGeorge S. Boolos, Richard C. Jeffrey. |
| 250 | _a2nd ed. | ||
| 260 |
_aCambridge: _bCambridge University Press, _c1989. |
||
| 300 |
_ax, 304 p. ; _c24 cm. |
||
| 650 | 0 |
_aLogic, Symbolic and mathematical _910668 |
|
| 650 | 4 |
_aComputable functions _93338 |
|
| 700 | 1 |
_aJeffrey, Richard C. _4asn _99173 |
|
| 911 |
_a018759 _e20180509 _j1982 _n511.3 BOO _p1 _q15 _r0 _s0 |
||
| 942 |
_2ddc _cBK _h511.3 BOO |
||
| 999 |
_c11726 _d11726 |
||