00752nam a22001577a 4500952012800000999001700128020002400145082001600169100002100185245012100206260004100327300003400368500003600402650014900438942000700587  00104070aPTRbPTRd2025-11-28ePurchased: Golden Booksg6740.44l0o004.16 PETp109816r2025-11-28 00:00:00t1u1865yBK  c59145d59145  a9780470229057 (pbk)  a004.16bPET  aPetzold, Charles  aThe annotated turingb: a guided tour through alan turing’s historic paper on computability and the turing machine  aCanadabWiley Publishing, Inc.c2008  axii, 372 p.b: ill.c; 23 cm.  aIncludes bibliography and index  aComputability theoryaTuring machinesaComputer sciencevRecursive functionsvMathematical logicvComputation theoryvDecision problemsvGGCvFC  cBK