Recuerden subir los archivos a Cuba-Wiki y no linkearlos de servidores externos, siempre siguiendo la convención de nombres descripta acá.
Volver a Práctica 7: Computabilidad y Programas (Lógica y Computabilidad).