TY  - BOOK
AU  - Arruda A I ed.
ED  - Latin American Symposium on Mathematical Logic( 3rd : 1976 : Campinas,Brazil )
ED  - Latin American Symposium on Mathematical Logic 3rd
TI  - Non-classical logics,model theory,and computability : proceedings
SN  - 0-7204-0752-4
U1  - 511.3 
PY  - 1977///
CY  - Amsterdam
PB  - North-Holland
KW  - Mathematical logic
KW  - Model theory
ER  -