Boolean algebra - Goodstein, Reuben Louis (Pergamon Press Macmillan, 1963)