SMS dit: Lógica matemática y computacional :