Print version: Brazilian Conference on Mathematical Logic. Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil. Providence, Rhode Island : American Mathematical Society, 1999 xi, 326 pages ; 26 cm. Contemporary mathematics ; 235 ISBN 9780821813645