The following pages link to An Arbitrary Equivalence Relation as Elementary Equivalence in an Abstract Logic (Q3887441):
Displaying 2 items.