TY  - BOOK
AU  - Petzold, Charles
TI  - The annotated turing: : a guided tour through alan turing’s historic paper on computability and the turing machine
SN  - 9780470229057 (pbk)
U1  - 004.16 
PY  - 2008///
CY  - Canada
PB  - Wiley Publishing, Inc.
KW  - Computability theory
KW  - Turing machines
KW  - Computer science
KW  - Recursive functions
KW  - Mathematical logic
KW  - Computation theory
KW  - Decision problems
KW  - GGC
KW  - FC
N1  - Includes bibliography and index
ER  -