Handbook Logic in Computer Science is a multi-volume work that covers all major areas of theoretical computer science logic applications. This is the result of years of cooperative efforts by several researchers forefront of the most prominent in the field, and will no doubt be the standard reference work in logic and theoretical computer science for years to come. Volume 5: algebra and Logical Structures covers all the fundamental topics in logic and computation semantics.