Introduction to Lattices and Order

This new edition of Introduction to Lattices and Order presents a radical reorganization and updating, though its primary aim is unchanged. The explosive development of theoretical computer science in recent years has, in particular, influenced the book''s evolution: a fresh treatment of fixpoints testifies to this and Galois connections now feature prominently. An early presentation of concept an...