Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures - T. S. E. Maibaum - E-bok | Bokus