Alan Turing's systems of logic the Princeton thesis - Turing, Alan 1912-1954 (Princeton University Press, 2012)