Mathematical logic - Turing, Alan 1912-1954; Gandy, Robin O. 1919-1995; Yates, C. Michael E. (Collected works of A.M. Turing, 2001)