000 00479pam a2200169a 44500
008 160408b1982 xxu||||| |||| 00| 0 eng d
082 _a511.3
_bF531f
100 _aFisher, Alec
245 1 _aFORMAL NUMBER THEORY AND COMPUTABILITY
_cA WORK-BOOK
260 _aOxford
_bClarendon
_c1982
300 _axiii,190
440 _aOxford Logic Guides
_v
500 _aBibliography : P. 187-188
650 _aLogic, Symbolic And Mathematical
964 _gCIRC
997 _aA79342 C
999 _c278253
_d278253