000			00612nam a22001457a 4500
999			_c59145 _d59145
020			_a9780470229057 (pbk)
082			_a004.16 _bPET
100			_aPetzold, Charles
245			_aThe annotated turing _b: a guided tour through alan turing’s historic paper on computability and the turing machine
260			_aCanada _bWiley Publishing, Inc. _c2008
300			_axii, 372 p. _b: ill. _c; 23 cm.
500			_aIncludes bibliography and index
650			_aComputability theory _aTuring machines _aComputer science _vRecursive functions _vMathematical logic _vComputation theory _vDecision problems _vGGC _vFC
942			_cBK