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