The National Library of Australia is replacing the infrastructure that supports the Australian National Bibliogaphic Database (ANBD) in 2025. From 27 March - mid-April direct cataloguing to the ANBD will be unavailable. The Trove Partners Cataloguing tool will be released in mid-April. More information is available on the Trove Partners learning hub.
His Collected works, c1986 v. 1, t.p. (Kurt Gödel) p. 2, etc. (Kurt Friedrich Gödel; d. Princeton, Jan. 14, 1978)
His The consistency of the axiom of choice ... 1940.
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)