The development of theoretical computer science in recent years has influenced this edition: a fresh treatment of fixpoints testifies to this and Galois connections now feature prominently. Classroom experience has led to numerous pedagogical improvements and many new exercises have been added.