This is a new systematic study of the principles behind the variety of logical systems in mathematical logic and computer science. The technical work is illuminated by information about its historical and philosophical context.

The multiplicity of logics; Classical logic; Abstract logics; Logical operations; Order and lattices; Constructing logics; Quasi-Boolean algebras and empirical continuity; Three-valued logic; Relevance; The calculus of logics: effective logic; Modal logics; Appendix; References; Index.

John P. Cleave , Reader in Mathematics (retired), University of Bristol

`The above paragraphs of our review do not suffice to depict the detail - mathematical, philosophical, and historical - with which the book is enriched. Even for those who do not have the capability or desire to work through the mathematical exposition, there is still much of interest to be gleaned.' T. Hailperin, History and Philsophy of Logic, 14(1993) |d 1993