, School of Mathematics and Computer Science, Lake Superior State University

• The Australasian Journal of Logic Vol. 6 (2008): Australasian Journal of Logic - Articles
  Categorical Abstract Algebraic Logic: Equivalential π-Institutions
  Abstract  PDF