00601nam a2200193 a 4500001001400000003000700014005001700021008004100038020001800079020001500097040000800112100001800120245007800138250002500216260004000241300003400281504005000315650004200365vtls000069256KUKTEM20251125093816.0130318t2011    flua   f b    001 0 eng d  a9781466505193  a1466505192  aUMP1 aDavis, Martin14aThe universal computer :bthe road from Leibniz to Turing /cMartin Davis  aTuring centenary ed.  aBoca Raton, FL :bCRC Press,cc2011  axiv, 224 p. :bill. ;c23 cm.  aIncludes bibliographical references and index 0aElectronic digital computersxHistory