Methods and applications of mathematical logic : proceedings - Carnielli, Walter Alexandre; Alcantara, Luiz Paulo de, 1944- (Contemporary mathematics,, 1988)