TY  - GEN
T1  - Methods and applications of mathematical logic :proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 /
AU  - Carnielli, Walter A.
AU  - Alcantara, Luiz Paulo de,
VL  - volume 69
CN  - QA9.A1
N1  - Sponsored by the Sociedade Brasileira de Lógica, Sociedade Brasileira de Matemática, and the Association for Symbolic Logic.
ID  - 1364482
KW  - Logic, Symbolic and mathematical
SN  - 9780821876589 (e-book)
TI  - Methods and applications of mathematical logic :proceedings of the VII Latin American Symposium on Mathematical Logic held July 29-August 2, 1985 /
LK  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3113066
UR  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3113066
ER  -