000 00503nam a22001937a 4500
001 17629
003 BD-DhUET
008 150324b xxu||||| |||| 00| 0 eng d
040 _aDLC
_cDLC
_dBD-DhUET
082 _a510.78
_bDAV/1958
100 _aDavis, Martin
245 _aComputability and unsolvability
250 _a1st ed.
260 _aNew York
_bMcGraw Hill
_c1958
300 _axxv, 210p.
504 _aIncludes bibliographies
650 0 _aComputability theory : Mathematics
942 _cGB
999 _c17629
_d17629