TY  - BOOK
AU  - Carnielli,Walter A.
AU  - Alcantara,Luiz Paulo de
ED  - Latin-American Symposium on Mathematical Logic
ED  - Sociedade Brasileira de Logica,
ED  - Sociedade Brasileira de Matematica,
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,
AV  - QA9.A1 L37 1985
U1  - 511.3 19
PY  - 1988///]
CY  - Providence, Rhode Island
PB  - American Mathematical Society
KW  - Logic, Symbolic and mathematical
KW  - Congresses
KW  - Electronic books
N1  - Sponsored by the Sociedade Brasileira de Logica, Sociedade Brasileira de Matematica, and the Association for Symbolic Logic; Includes bibliographies
UR  - https://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=3113066
ER  -