Mathematical Logic for Computer Science, 3rd Edition van Mordechai Ben-Ari is een Engelstalig studieboek over wiskundige logica en toepassingen binnen computer science.
De derde editie behandelt propositional en first-order logic, semantic tableaux, resolution, Hoare logic, temporal logic, SAT solvers en model checking. De nadruk ligt op formele redeneermethoden die relevant zijn voor program verification en theoretical computer science. Geschikt voor studenten computer science en mathematical logic. ISBN 9781447141280.