Algebraic Logic and Universal Algebra in Computer Science

Algebraic Logic and Universal Algebra in Computer Science 1988: Ames, Iowa, USA