- [
*In Contradiction*.] 1987 - [
*Beyond the Limits of Thought*.] 1995 - [
*Logic: A Very Short Introduction*.] 2000 - Introduction to Non-Classical Logic

This book is an introduction to non-classical propositional logics.
It brings together for the first time in a textbook a range of topics in logic,
many of them of relatively recent origin, including modal, conditional, intuitionist,
many-valued, paraconsistent, relevant and fuzzy logics.
The material is unified by the underlying theme of world semantics.
All of the topics are explained clearly and accessibly, using devices such as tableau proofs,
and their relation to current philosophical issues and debates is discussed.
Students with a basic understanding of classical logic will find this
an invaluable introduction to an area that has become of central importance in both logic and philosophy,
but which, until now, could be studied only through the research literature.
It will interest those studying logic, those who need to know about non-classical logics
because of their philosophical importance, and, more widely,
readers working in mathematics and computer science who wish to know more about the area.

This revised and considerably expanded edition of
*An Introduction to Non-Classical Logic* brings together
a wide range of topics, including modal, tense, conditional, intuitionist,
many-valued, paraconsistent, relevant and fuzzy logics.
Part I. on propositional logic, is the old Introduction, but contains much new material.
Part II is entirely novel, and covers quantification and identity for all the logics in Part I.
The material ls unified by the underlying theme of world semantics.
All of the topics are explained clearly and accessibly,
using devices such as tableau proofs,
and their relation to current philosophical issues and debates is discussed.
Students with a basic understanding of classical logic will find this book
an invaluable introduction to an area that has become of central importance
in both logic and philosophy.
It will also interest people working in mathematics and computer science
who wish to know about the area.