Sign in
Join Literal
Authors
Author
T. S. E. Maibaum
Books
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
Dov M. Gabbay, S. Abramsky, T. S. E. Maibaum