Seol mar théacs é seo: Introducción a la teoría de la computabilidad: