Una prueba de los teoremas de Gödel y Rosser - Prida, José F. (Boletín del Centro de Cálculo de la Universidad Complutense, 2015)