Carnielli, Walter A. (ed) & Alcantara, Luiz Paulo de (ed)
Methods and applications of mathematical logic. Proceedings of the VII Latin American Symposium on mathematical logic held july 29-august 2, 1985.
- American Mathematical Society, 1988.
- (
Contemporary Mathematics
; 69).