TY - JOUR AU - Georgiev, Georgi AU - Tinchev, Tinko IS - 2-3 JA - Journal of Applied Non-Classical Logics PB - Taylor & Francis Group PY - 2008 TI - Second-order logic on equivalence relations VL - 18 ER -