Prida, José F. «Una Prueba De Los Teoremas De Gödel Y Rosser». Boletín del Centro de Cálculo de la Universidad Complutense, no. 22 (septiembre 14, 2015): 1–14. Accedido noviembre 23, 2024. https://revistas.ucm.es/index.php/BCCU/article/view/50073.