Entries relating to Boolean algebra