Equality-free logic: the method of diagrams and preservation theorems | Publicación