Collected works - Gödel, Kurt 1906-1978 (Oxford University Press Clarendon Press, 1986)