Carnielli, Walter A. Methods and applications of mathematical logic Proceedings of the vii Latin American symposium of Mathemati / - Rhoda : American Mathematical Society , 1985. - 250 p. 25cms