The Mentor of Alan Turing: Max Newman (1897–1984) as a Logician