In practice, this means that the book will suit the advanced undergraduate, postgraduate, or researcher in logic (in philosophy, mathematics, computer science or theoretical linguistics). The book contains an overview of the major results and techniques in the field, in proof theory and semantics of these logics.

News

The bibliography used in the book is available on-line. The file is a BibTeX file, which is a simple encoded text-file with bibliography data of every article cited in the book, together with whatever else I have referred to in the last few years.

While you wait to get your hands on the book, you can at least read what other people have said about it to whet your appetite. The comments page currently only contains the things that readers have said about it for Routledge, so you cannot expect too much in the way of criticism. As things develop, I will use this page to keep a log of all reviewers comments on the book, both positive and negative.

Table of Contents