Boolean algebra - Goodstein, Reuben 1912-1985 (Pergamon Press, 1963)