Hyperformulas and Solid Algebraic Systems. - Klaus Denecke; Dara Phusanga (Stud Logica, 2008)