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

A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.

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 Handbook of the Logic of Argument and Inference is an authoritative reference work in a single volume, designed for the attention of senior undergraduates,

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