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

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

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

Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scienti

This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical found