000 00453nam a2200169Ia 4500
001 22857
008 140409s9999 xx 000 0 und d
020 _a0-393-32229-7
040 _cPK-LaUMT
082 _a 004.09
_bDAV-U
100 _aMartin Davis
245 _aEngins of Logic:
_bmathematicians and the origin of computer
_cMartin Davis
260 _aNew York,USA:
_bW. W. Norton & Company,
_c2000
300 _a257 p.
546 _aEN
942 _cBK
999 _c23086
_d23086