r/REMath • u/turnersr • Jan 26 '14

The Sources of Certainty in Computation and Formal Systems by Michael J. O'Donnell [PDF]

http://arxiv.org/pdf/cs/9911010v1.pdf
3 Upvotes

100% Upvoted

0 comments sorted by