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 |