不可区分关系的代数与逻辑方法

An algebraic and logical approach to indiscernibility relations