Collected Works. - Gödel, Kurt, 1906-1978 (Oxford University Press, 1990)