000			00607nam a22001577a 4500
999			_c59105 _d59105
020			_a9781138502086 (pbk)
082			_a004.01 _bDAV
100			_aDavis, Martin
245			_aThe universal computer _b: the road from Leibniz to Turing
260			_aNew York _bCRC Press Taylor & Francis Group _c2018
300			_axv, 222 p. _b: ill. _c; 24 cm.
500			_aIncludes bibliography and index
650			_aComputer Science _vComputer science history _vUniversal computation _vMechanical calculators _vMathematical logic _vTheoretical mathematics _vComputational theory _vGGC _vFC
942			_cBK