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