TY  - BOOK
AU  - Carnielli, Walter A.
AU  - Alcantara, Luiz Paulo
TI  - Methods and applications of mathematical logic: Proceedings of the vii Latin American symposium of Mathemati 
PY  - 1985///
CY  - Rhoda
PB  - American Mathematical Society
ER  -