TY  - BOOK
AU  - Carnielli,Walter A.
AU  - Alcantara,Luiz Paulo de
ED  - Latin-American Symposium on Mathematical Logic
ED  - Sociedade Brasileira de Logica a.
ED  - Sociedade Brasileira de Matematica a.
ED  - Association for Symbolic Logic.
TI  - Methods and applications of mathematical logic: proceedings of the VII Latin American Symposium on mathematical logic, held July 29-August 2, 1985 
T2  - Contemporary mathematics
SN  - 0821850768
PY  - 1988///
CY  - Providence, R.I.
PB  - American Mathematical Society
KW  - Logic, Symbolic and mathematical
KW  - Congresses
N1  - Sponsored by the Sociedade Brasileira de Logica, Sociedade Brasileira de Matematica, and the Association for Symbolic Logic; Includes bibliographies
ER  -