This book introduces the understanding and methods of formal logic from the standpoint of computer science, which includes propositional logic, predicate logic, and the basics of programming logic. This presents the applications and computer science research themes such as resolution, automated deduction, and logic programming in a rigorous but readable. This is a short introductory book on the topic of propositional and first-order logic, with a bias towards computer scientists?. This book seems perfect for a short course, a series of seminars, or part of a larger course on Prolog and logic programming, possibly at the advanced undergraduate level. University will provide a good short course to introduce computer science students to prove theorems and logic programming. ? Mathematical Reviews This book concentrates on those aspects of mathematical logic that have strong relationships with different topics in computer science, especially the automatic reduction, programming logic, program verification and semantics of programming languages ....