000			01307 a2200229 4500
010			_a2008022829
020			_a9780470229057 (Paper)
020			_a0470229055 (Paper)
050	0	0	_aQA267
082	0	4	_a511.352
090			_c30568 _d30568
100	1		_aPetzold, Charles
546			_aeng
245	1	4	_aThe annotated Turing : _ba guided tour through Alan Turing's historic paper on computability and the Turing machine / _cCharles Petzold
260			_aIndianapolis, IN : _bWiley Pub., _cc2008.
300			_axii, 372 p. : _bill. ; _c23 cm.
505	0		_aForeword.Preface.Acknowledgements.Author Biographies.Introduction.1. This Tomb Holds Diophantus.2. The Irrational and the Transcendental.3. Centuries of Progress.4. The Education of Alan Turing.5. Machines at Work.6. Addition and Multiplication.7. Also Known as Subroutines.8. Everything is a Number.9. The Universal Machine.10. Computers and Computability.11. Of Machines and Men.12. First-Order Logic.13. Computability Continued.14. The Major Proof.15. The Lambda Calculus.16. Conceiving the Continuum.17. Is Everything a Turing Machine?18. Diaphantus Awakes.Appendix A.Appendix B.Index.
600	1	0	_aTuring, Alan Mathison, _d1912-1954.
650		0	_aTuring machines.
650		0	_aComputational complexity.
942			_aIMAR _cCART _k511.352 _sEP
999			_c30215 _d30215