We are happy to present Volume 5 of the Handbook of Logic in Computer
Science, on Logic and Algebraic Methods, The first two volumes
of the Handbook presented the background on fundamental mathematical
structures—consequence relations, model theory, recursion theory, category
theory, universal algebra, topology; and on computational structures—
term-rewriting systems, A-calculi, modal and temporal logics and algorithmic
proof systems. The computational structures considered thus far have
been predominantly syntactic in character; while the discussion of mathematical
structures has been quite general and free-standing.