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