000 00259nam a2200109Ia 4500
008 230222s9999 xx 000 0 und d
100 _aMartin Davis
245 0 _aComputability and Unsolvability
250 _a1
260 _bDorer New York
_c1982
942 _cBK
999 _c34350
_d34350