000 00841nam a2200289 i 4500
001 179357
008 s1982 xxk 000 0|eng d
009 109220
020 _a0-19-853188-5
035 _a716611183
040 _aFRAS
_bfre
_cFRAS
_dFRAS
_eAFNOR
082 0 4 _a512
_221E
084 _a510
072 _aSHS
100 1 _aFisher, Alec
_eAuteur
_4070
_9114547
245 1 0 _aFormal number theory and computability
_h[Texte imprimé] :
_ba workbook /
_cAlec Fisher
260 _aOxford:
_bClarendon Press,
_c1982
300 _aXIII-190 p. ;
_c23 cm
830 0 _aOxford logic guides (Clarendon Press, Oxford) ;
_v7
500 _aIndex
504 _aBibliogr. p. 187-188
490 1 _aOxford logic guides (Clarendon Press, Oxford) ;
_v7
095 _axxk
930 _a109220
931 _a179357
999 _c97233
_d97233