| 000 | 00546 a2200205 04500 | ||
|---|---|---|---|
| 001 | 764 | ||
| 008 | 050602s1980 eng d | ||
| 041 | 0 | _aeng | |
| 045 | _a1980 | ||
| 082 | 0 |
_a511.3 _bB724c |
|
| 100 | 4 | 0 | _aBoolos, George |
| 245 | 0 |
_aComputability and logic/ _cGeorge Boolos |
|
| 260 | 4 |
_aLondon: _bCambridge University Press _c1980. |
|
| 300 | 4 | _a286 p. | |
| 500 | 4 | _aEn fotocopia | |
| 650 | _alógica simbólica | ||
| 650 | _alógica matemática | ||
| 942 |
_2ddc _cBK |
||
| 999 |
_c1288 _d1288 |
||