Prida, J. F. (2015): «Una prueba de los teoremas de Gödel y Rosser», Boletín del Centro de Cálculo de la Universidad Complutense, (22), pp. 1–14. Disponible en: https://revistas.ucm.es/index.php/BCCU/article/view/50073 (Accedido: 26 noviembre 2024).