Mathematical logic - Turing, Alan 1912-1954 (Collected works of A.M. Turing, 2001)