Parra-Londoño, Carlos, y Diego Mejía-Guzmán. «Recursión, inducción Y órdenes Bien Fundados». Revista Integración, temas de matemáticas 29, no. 2 (noviembre 23, 2011): 143–150. Accedido mayo 3, 2024. https://revistas.uis.edu.co/index.php/revistaintegracion/article/view/2555.