LIBRARY The Congruences of a Finite Lattice: A "Proof-by-Picture" Approach 2016 · ENGLISH · PDF View details →
LIBRARY Papers in Honour of Bernhard Banaschewski: Proceedings of the BB Fest 96, a Conference Held at the University of Cape Town, 15–20 July 1996, on Category Theory and its Applications to Topology, Order and Algebra 2000 · ENGLISH · PDF View details →
LIBRARY Sheaves, Games, and Model Completions: A Categorial Approach to Nonclassical Propositional Logics 2002 · ENGLISH · PDF View details →