There are many non-trivial problems of logic that are, at least in principle, decidable. I will discuss some of these, emphasizing decision procedures in interesting theories that often generalize traditional mathematical methods (quantifier elimination, Groebner bases, SMT solvers).