Mathematical Logic for Computer Science

Discover the essential resource for computer science students with Mathematical Logic for Computer Science by M. Ben-Ari. Published by Springer London Ltd in 2012, this comprehensive guide spans 346 pages and is now available in its third edition, completely rewritten to enhance your learning experience.

This engaging textbook focuses on the intersection of mathematics and computer science, utilizing the method of semantic tableaux to teach logical reasoning effectively. The updated edition includes new chapters dedicated to SAT solvers and model checking, ensuring that readers are equipped with the latest tools and techniques in the field.

Whether you are a student or a professional looking to deepen your understanding of mathematical logic, this book is an invaluable addition to your library. Explore the world of symbolic and mathematical logic tailored specifically for the needs of computer science!