Logic is, and should be, the core subject area of modern mathemat ics. The blueprint for twentieth century mathematical thought, thanks to Hilbert and Bourbaki,

The logical study of language is becoming more interdisciplinary, playing a role in fields such as computer science, artificial intelligence, cognitive science

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

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

The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and