Introduction to Lattices and Order, Paperback/H. A. (University of Oxford) Priestley

The explosive development of theoretical computer science in recent years has influenced this new 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.