Alan Turing′s Systems of Logic – The Princeton Thesis

"For me, this is the most interesting of Alan Turing's writings, and it is a real delight to see a facsimile of the original typescript here. The work is packed with ideas that have turned out to be significant for all sorts of current research areas in computer science and mathematics."--Barry Cooper, University of Leeds