TY - JOUR AU - Gil, Àngel J. AU - Rebagliato, Jordi AU - Verdú, Ventura IS - 1 JA - Journal of Applied Non-Classical Logics PB - Taylor & Francis Group PY - 1999 TI - A Strong Completeness Theorem for the Gentzen systems associated with finite algebras VL - 9 ER -