Ferreirós, J. (2007) «Kurt Gödel: revolución en los fundamentos de las mateméticas», Arbor, 183(725), pp. 409–418. doi: 10.3989/arbor.2007.i725.113.