TY - JOUR AU - Carnielli, Walter A. AU - D'Ottaviano, Itala Ml JA - Logique Et Analyse PY - 1997 TI - Translations between logical systems: a manifesto VL - 157 ER -