Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil / - Carnielli, Walter A.; D'Ottaviano, Itala M. L. (American Mathematical Society, 1999)