Alan Turing's Systems of logic : the Princeton thesis / - Turing, Alan (Princeton University Press, 2012)