His The consistency of the axiom of choice ... 1940.

His Collected works, c1986: v. 1, t.p. (Kurt Gödel) p. 2, etc. (Kurt Friedrich Gödel; d. Princeton, Jan. 14, 1978)

BL auth. file, 10th Sept. 2003 (hdg.: Gödel, Kurt, 1906-1978)

Apo tēn paranoia stous algorithmous, 2006: p. 9 (Kourt Gkentel)

SSDI, Nov. 18, 2010 (Godel, Kurt; b. Apr. 28, 1906; d. Jan. 1978; last residence: Princeton, N.J.)

Wikipedia, 2014-01-16: (Kurt Friedrich Gödel; b. April 28, 1906; d. January 14, 1978) was an Austrian, and later American, logician, mathematician, and philosopher; immigrated to the US in 1939)