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

An understanding of logic is essential to computer science. This book provides a highly accessible account of the logical basis required for reasoning about com

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

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