Methods and applications of mathematical logic : proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 ; - Carnielli, Walter A.; Alcantara, Luiz Paulo de, 1944- (Contemporary mathematics ; ;, 1988)