000			01237cam a2200277 a 4500
001			16997177
005			20221229020002.0
008			111012s2012 flua b 001 0 eng
010			_a 2011039841
020			_a9781466505193
040			_aDLC _cDLC _dDLC
042			_apcc
050	0	0	_aQA76.17 _b.D38 2012
082	0	0	_a004 _223 _bDAV-U
100	1		_aDavis, Martin
245	1	4	_aUniversal computer : _bthe road from Leibniz to Turing _cMartin Davis.
250			_aTuring centenary ed.
260			_aBoca Raton, Fla. : _bCRC Press, _c2012.
300			_axiv, 224 p. : _bill. ; _c23 cm.
504			_aIncludes bibliographical references (p. 209-216) and index.
505	0		_aLeibniz's dream -- Boole turns logic into algebra -- Frege : from breakthrough to despair -- Cantor : detour through infinity -- Hilbert to the rescue -- Godel upsets the applecart -- Turing conceives of the all-purpose computer -- Making the first universal computers -- Beyond Leibniz's dream -- Epilogue -- Notes.
650		0	_aElectronic digital computers _xHistory.
906			_a7 _bcbc _corignew _d1 _eecip _f20 _gy-gencatlg
942			_2ddc _cBK _05
999			_c7332 _d7332