Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
-
sidottu
,
Englanti, 2001