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