Über formal unentscheidbare Sätze der Principia Mathematica and verwandter Systeme I." Monatshefte fur Mathematik und Physik 38 (1931) 173-198. (English translation by Elliott Mendelson in The Undecidable, edited by Martin Davis (1965)

by Kurt GÖdel
Venue:of The Undecidable, above.) Goldstine, H.H., and Adele Goldstine, "The Electronic Numerical Integrator and Computer (ENIAC)." Mathematical Tables and Other Aids to Computation