[4][5][6] The second edition is significantly different in its topics and organization, and was revised to incorporate recent developments in the area, especially in its applications to computer science.
The next two chapters concern complete partial orders, their fixed-point theorems, information systems, and their applications to denotational semantics.
[6] Its many exercises make it suitable as a course textbook,[2][3] and serve both to fill in details from the exposition in the book, and to provide pointers to additional topics.
[2][5] Writing of the first edition, reviewer Josef Niederle calls it "an excellent textbook", "up-to-date and clear".
[4] Likewise, although Jon Cohen has some quibbles with the ordering and selection of topics (particularly the inclusion of congruences at the expense of a category-theoretic view of the subject), he concludes that the book is "a wonderful and accessible introduction to lattice theory, of equal interest to both computer scientists and mathematicians".