- Alan Turing's Systems of Logic: The Princeton Thesis
- The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus The Secrets of Enigma
- Collected Works of A.M. Turing: Mechanical Intelligence
- A. M. Turing's ACE Report of 1946 and Other Papers
- Morphogenesis: Collected Works of A.M. Turing