Provides a sound basis in logic, and introduces logical frameworks used in modelling, specifying and verifying computer systems.

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

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

This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic constru

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.