TY  - BOOK
AU  - Arruda,Ayda I.
AU  - Costa,Newton C.A.de
AU  - Sette,Antinio Mario
ED  - Brazilian conference on mathematical logic
TI  - Proceedings
PY  - 1980///
CY  - Sâo paulo : 
PB  - Sociedade brasileira de lógica, 
KW  - LOGICA MATEMATICA-CONGRESOS, CONFERENCIAS, ETC
N1  - Bibliografía al final de capítulos
ER  -