Unlock the foundational principles of Computer Science and Artificial Intelligence with "Logic for Computer Science and Artificial Intelligence." This comprehensive hardback, authored by Ricardo Caferra, offers a unified approach to logic, crucial for understanding AI and computational concepts. Designed for self-instruction or traditional courses, it guides beginners with basic math and computer science knowledge through propositional, first-order, and non-classical logics. Explore practical implementations with numerous exercises and detailed solutions. Key features include detailed coverage of tableaux, resolution, Davis and Putnam methods, logic programming, unification, and subsumption, along with methods for non-classical logics. This book is an essential resource for students and professionals seeking to grasp the intricacies of logic in computing. Product Summary: Wiley Logic for Computer Science and Artificial Intelligence, Hardback, 544 pages, by Ricardo Caferra, published by Wiley-ISTE.