Preview Citation

Download

 (2001-01-25). Abramsky, S., Gabbay, D., & Maibaum, T. (Eds.), Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures. : Oxford University Press. Retrieved 14 Jun. 2021, from https://oxford.universitypressscholarship.com/view/10.1093/oso/9780198537816.001.0001/isbn-9780198537816.