M. Ryan & M. Sadler: Valuation systems and consequence relations; I.C.C. Phillips: Recursion theory; K. Meinke & J.V. Tucker: Universal algebra; A.K. Poigne: Basic category theory; M.B. Smyth: Topology; J. Makovsky: Model theory.

`It is a comprehensive, authoritative, and advanced collection of chapters, by leading authorities in the fields covered.' Personal Computer World `...the Handbook of Logic in Computer Science is a major work of scientific publishing.' `...a highly detailed authoritative and illuminating exposition of the field, and at the same time a challenging source of ideas for further exploration.' `...will illuminate the working lives of all those engaged in conducting and supervising research in computing sciences both now and in the future.'Time Higher Education Supplement 'a major work of scientific publishing ... a highly detailed, authoritative and illuminating exposition of the field, and at the same time a challenging source of ideas for further exploration ... we are much indebted to the editors, authors and all those others who have worked for so many years on this substantial project.' Times Higher Education Suplement