PRIDA, J. F. Una prueba de los teoremas de Gödel y Rosser. Boletín del Centro de Cálculo de la Universidad Complutense, n. 22, p. 1–14, 14 sep.2015.