Email Record: Lógica matemática y computabilidad /