Universal Algebra (1992)

by K |Meinke, J V Tucker
Venue:In Abramsky, S., Gabbay, D.M., Maibaum, T.S.E., eds, Handbook of Logic in Computer Science 1