TY  - BOOK
AU  - Arruda A I ed.
ED  - Brazilian Conference on Mathematical Logic( 1st : 1977 : Universidad Estadual de Campinas)
ED  - Brazilian Conference on Mathematical Logic 1st
TI  - Mathematical logic : proceedings
SN  - 0-8247-6772-1
U1  - 511.3 
PY  - 1978///
CY  - New-York
PB  - Dekker
KW  - Mathematical logic
KW  - Symbolic logic
ER  -