TY  - GEN
T1  - Advances in contemporary logic and computer science :proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil /
AU  - Carnielli, Walter A.
AU  - D'Ottaviano, Itala M. L.,
VL  - 235
CN  - QA76.9.L36
ID  - 1364531
KW  - Computer logic
KW  - Logic, Symbolic and mathematical
SN  - 9780821878262 (e-book)
TI  - Advances in contemporary logic and computer science :proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil /
LK  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3113115
UR  - https://univsouthin.idm.oclc.org/login?url=https://ebookcentral.proquest.com/lib/usiricelib-ebooks/detail.action?docID=3113115
ER  -