You are not currently logged in.
Access your personal account or get JSTOR access through your library or other institution:
If you need an accessible version of this item please contact JSTOR User Support
A Proof of Godel's Theorem in Terms of Computer Programs
Vol. 54, No. 3 (May, 1981), pp. 109-121
Published by: Mathematical Association of America
Stable URL: http://www.jstor.org/stable/2689794
Page Count: 13