000 00440nam a2200145Ia 4500
008 211109s9999||||xx |||||||||||||| ||und||
082 _a511.35
_bDAV-C
100 _aDavis, Martin
245 0 _aComputability and Unsolvability
260 _bMac Graw-Hill
_aNew York
_c1958
300 _a210p
630 _xGeneral Stack
650 _a Recursive functions
_vMathematical logicComputable functionsUnsolvability
_xMathematics
942 _cBOOK
999 _c28106
_d28106