Handbook of Defeasible Reasoning and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning

Mathematical Problems from Applied Logic I: Logics for the XXIst Century

Logic from Russell to Church

Mediaeval and Renaissance Logic

Logic and the Modalities in the Twentieth Century

The Many Valued and Nonmonotonic Turn in Logic

British Logic in the Nineteenth Century

What is Negation?