Mathematical Logic for Computer Science van Mordechai Ben-Ari is an English-language textbook aimed at students in higher education. This book covers mathematical logic with a focus on applications within computer science.
The book introduces the method of semantic tableaux as a didactic tool to convey logic clearly and systematically. Using tableaux techniques, various logical systems are covered, such as propositional and first-order logic, resolution, Hoare logic for verification of sequential programs, and linear temporal logic for verification of concurrent programs.
The fully revised third edition also includes new chapters on SAT solvers and model checking, topics that are essential for modern computer science. In this way, the book connects theoretical and practical aspects of mathematical logic for computer science.
This textbook is relevant to fields such as mathematical theory of computation, mathematical logic, and machine theory in computer science.