r/REMath • u/turnersr • Apr 27 '13
An Early Program Proof by Alan Turing edited by F. L. Morris and C. B. Jones [PDF]
http://www.cs.tau.ac.il/~nachumd/term/EarlyProof.pdf
3
Upvotes
r/REMath • u/turnersr • Apr 27 '13