Essential Turing seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life, plus the secrets of Enigma - Copeland B Jack (New York OUP, 2004)
Keywords: Alan Mathison Turing; Artificial intelligence; Enigma cipher system; Mathematical logic; Mathematics; Symbolic logic