Prida, J. F. Una prueba de los teoremas de Gödel y Rosser. Bol. Cent. Calc. Univ. Complut. 2015, N.º 22, 1-14.