Boolean algebra : theory and problems - Mendelson, Elliott ((Schaum's), 1970)