Alan Turing's Systems of Logic : The Princeton Thesis

A facsimile of of the original typescript of Turing's Princeton PhD thesis, a key document in the history of mathematics and computer science. Turing is famous for breaking the German Enigma code during WW2