TY  - BOOK
AU  - Carnielli Walter A ed.
ED  - Brazilian Conference on Mathematical Logic (11th ; 6-10 May 1996 : Bahia,Brazil)
ED  - Brazilian conference on mathematical logic
TI  - Advances in contemporary logic and computer science: proceedings
SN  - 0-8218-1364-1
U1  - 510 
PY  - 1999///
CY  - Providence
PB  - AMS
KW  - Computer logic
KW  - Mathematical logic
KW  - Symbolic logic
ER  -