000 00477nam a2200217 454500
001 070832
003 BD-ChCU
008 Eng
020 _ax
040 _aDLC
_cDLC
_dBD-ChCU
082 0 0 _a510.78/DAC
100 1 _aDavis, Martin.
_bx
245 1 0 _aComputablity and unsolvability
_bx
250 _ax
260 _ax
_bMcGraw - Hill
_c1958
300 _axiv, 210
504 _ax
650 0 _aElectronic Computer
_bMathematics
700 1 _ax
942 _2ddc
_cBK
999 _c70832
_d70832