Introduction to Lattices and Order
Autor
B. A. Davey (La Trobe University, Victoria)
, H. A. Priestley (University Of Oxford)
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.