Una demostración del Teorema de Incompletitud de Gödel. George Boolos — 2001 Gaceta de la Real Sociedad Matemática Española
On Kalmar's consistency proof and a generalization of the notion of ...-consistency. George S. Boolos — 1975 Archiv für mathematische Logik und Grundlagenforschung