How Boolean algebra went from an abstract mathematical idea to the basis of the modern computer.

Boolean algebra is a division of mathematics that deals with operations on logical values and incorporates binary variables.

The isomorphism types of countable Boolean algebras are completely characterized in terms of certain naturally defined invariants. As an application, we show that any countable commutative semigroup ...