000 | 00762nam a2200265 a 4500 | ||
---|---|---|---|
001 | 00374741 | ||
003 | PWmBRO | ||
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 |
_c16730 _d16730 |