Alan Turing website maintained by Andrew Hodges, www.turing.org.uk
The Turing Archive for the History of Computing, www.AlanTuring.net
The Turing Digital Archive, www.turingarchive.org
Ackermann, Wilhelm. Solvable Cases of the Decision Problem. North-Holland Publishing Company, 1962.
Agar, John. Turing and the Universal Machine: The Making of the Modern Computer. Icon Books, 2001.
Arbib, Michael A. Brains, Machines, and Mathematics. McGraw-Hill, 1964.
Aspray, William. John von Neumann and the Origins of Modern Computing. MIT Press, 1990.
Beth, Evert W. The Foundations of Mathematics: A Study in the Philosophy of Science, second edition. North-Holland, 1964; Harper & Row, 1966.
Boolos, George S., John P. Burgess, and Richard C. Jeffrey. Computability and Logic, fourth edition. Cambridge University Press, 2002.
Börger, Egon, Erich Grädel, and Yuri Gurevich. The Classical Decision Problem. Springer, 1997, 2001.
Boyer, Carl B. A History of Mathematics, second edition revised by Uta C. Merzbach. John Wiley & Sons, 1989.
Cantor, Georg. Contributions to the Founding of the Theory of Transfinite Numbers, translated and with an introduction by Philip E. B. Jourdain. Open Court, 1915; Dover, 1955.
Carpenter, B. E. and R. W. Doran. A. M. Turing's ACE Report of 1946 and Other Papers. MIT Press, 1986.
Ceruzzi, Paul E. A History of Modern Computing, second edition. MIT Press, 2003.
Ceruzzi, Paul E. Reckoners: The Prehistory of the Digital Computer, from ...