: a guided tour through alan turing’s historic paper on computability and the turing machine Petzold, Charles creator text Canada Wiley Publishing, Inc. 2008 monographic xii, 372 p. : ill. ; 23 cm. Includes bibliography and index Computability theory Turing machines Computer science Recursive functions Mathematical logic Computation theory Decision problems GGC FC 004.16 PET 9780470229057 (pbk)