Collected works / - Gödel, Kurt. (Clarendon Press, 1986)