| 000 | nam a22 7a 4500 | ||
|---|---|---|---|
| 999 |
_c141278 _d141276 |
||
| 005 | 20180601095533.0 | ||
| 008 | 180601b nyu||||| |||| 00| 0 eng d | ||
| 020 | _a0521389232 | ||
| 050 | 0 | 4 |
_aQA9.59 _bB66 1989 |
| 100 | 1 | _aBoolos, George S. | |
| 245 | 1 | 0 |
_aComputability and logic _cGeorge S. Boolos, Richard C. Jeffrey. |
| 250 | _a3a ed. | ||
| 260 |
_aNew York : _bCambridge, _cc1989 |
||
| 300 |
_ax, 304 p. : _bil. ; _c20 cm. |
||
| 504 | _aIncluye índice | ||
| 650 | 7 |
_2lemb _aFunciones recursivas |
|
| 650 | 7 |
_2lemb _aLógica matemática |
|
| 700 | 1 |
_aJeffrey, Richard C., _eautor |
|
| 942 |
_2lcc _cLIB |
||