XI Brazilian Conference on Mathematical Logic. - Itala M. Loffredo D'Ottaviano; Walter Alexandre Carnielli; Antonio Mario Sette; Michael B. Wrigley (Log. J. IGPL, 1997)