Logica y Matematica Computacional