LORENZO, J. de 2022. Lógica y matemática en K Gödel. Estudios Filosóficos. 28, 79 (ago. 2022), 391–454.