Normal view
MARC view
Abramsky, Gabbay, Maibaum (Personal Name)
Machine generated authority record
Work cat.: (OSt)1520114: Abramsky, Gabbay, Maibaum, Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures, 2020