This is a mathematics textbook with theorems and proofs. The choice of topics has been guided by the needs of computer science students. The method of semantic

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations

This text is intended for one semester courses in Logic, it can also be applied to a two semester course, in either Computer Science or Mathematics Departments.

An introduction to applying predicate logic to testing and verification of software and digital circuits that focuses on applications rather than theory. Comput

Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide