| 000 | 00854nam a2200265Ia 4500 | ||
|---|---|---|---|
| 001 | 198509 | ||
| 003 | BIBL | ||
| 005 | 20160527192949.0 | ||
| 008 | 890328s1994 enka b 00110 eng | ||
| 010 | _a 89032584 | ||
| 020 | _a052138026X | ||
| 020 | _a0521389232 (pbk.) | ||
| 049 | _aEVLG | ||
| 050 | 0 | 0 |
_aQA9.59 _b.B66 1989 |
| 082 | 0 | 0 |
_a511.3 _220 |
| 100 | 1 | 0 |
_aBoolos, George. _2Local _963979 |
| 245 | 1 | 0 |
_aComputability and logic _cGeorge S. Boolos, Richard C. Jeffrey. |
| 260 | 0 |
_aCambridge _aNew York _bCambridge University Press _c1989. |
|
| 300 |
_ax, 304 p. _bill. |
||
| 504 | _aIncludes bibliographical references and index. | ||
| 650 | 0 |
_aComputable functions. _2Local _979046 |
|
| 650 | 0 |
_aLogic, Symbolic and mathematical _2Local _9127231 |
|
| 650 | 0 |
_aRecursive functions. _2Local _9157571 |
|
| 700 | 1 | 0 |
_aJeffrey, Richard C. _2Local _9117109 |
| 999 |
_c150045 _d150045 |
||