Alan Turing: his work and impact - Cooper, S barry; Leweuwen, Jan van
Includes index
Keywords: Mathematicians; Mathematics; Computer Science; Logic -- Symbolic and Mathematical