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