Robin Milner. The space and motion of communicating agents . Cambridge University Press, 2009, 212 pp.

In summary, Introduction to Boolean algebras is a gem of a text which fills a long-standing gap in the undergraduate literature by rigorously covering all the fundamental theorems and topics of Boolean algebra while at the same time being easy to read, detailed, and well-paced for undergraduate students.