Boolean Algebra - Goodstein, R L (Dover, 2007)