TY  - BOOK
AU  - Arruda Ayda I Ed.
AU  -  Chuaqui Rolando Ed.
AU  -  Costa Newton C. A. da Ed.
TI  - Proceeding of mathematical logic
T2  - Lecture notes in pure and applied mathematics; 39
U1  - B:(R1)p7918,N77, L8 
PY  - 1978///
CY  - New York    
PB  -  Marcell Dekker       
KW  -  Mathematics
KW  -  Symbolic
KW  - Logic
ER  -