000 | 00791nam a2200277 a 4500 | ||
---|---|---|---|
001 | 00374741 | ||
003 | PWmBRO | ||
005 | 20240602095613.0 | ||
008 | 831021s1982 enka a o0011 eng l | ||
082 | 0 | 0 |
_a512 _b.72 |
090 | 0 | 0 | _b511.3/F533f |
100 | 1 | 0 | _aFisher, Alec |
245 | 1 | 0 |
_aFormal number theory and computability _ba workbook _cby Alec Fisher |
260 | 0 | 0 |
_aOxford [Oxfordshire] _bClarendon Press _c1982 |
300 | 0 | 0 |
_axiii, 190 p. _bill. _c25 cm. |
440 | 0 | 0 |
_aOxford logic guides _v7 |
440 | 0 | 0 | _aOxford science publications |
500 | 0 | 0 | _aIncludes index |
595 | 0 | 0 | _a0198531788 |
650 | 0 | 0 | _aGodel's theorem |
650 | 0 | 0 | _aIncompleteness theorems |
650 | 0 | 0 | _aNumber theory |
942 | _2ddc | ||
994 | _a001013323 84143 0001 | ||
999 |
_c11485 _d11485 |