Mathematical logic - Turing, Alan Mathison, 1912-1954. (Elsevier Science, 2001)