%0 Book
%A Walter A. Carnielli, Itala M.L. D'Ottaviano, editors
%T Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil
%U /book/101383241/Advances-in-contemporary-logic-and-computer-scienc/