Stav dette: Introducción a la teoría de la computabilidad: