TY - BOOK AU - Arruda,A.I. AU - Costa,N.C.A. AU - Chuaqui,R. ED - Latin American Symposium on Mathematical Logic TI - Non-classical logics, model theory and computability: proceedings of the 3rd Latin American symposium on mathematical logic, campinas, Brazil, July 11-17, 1976 SN - 0720407524 : U1 - 510.1 PY - 1977/// CY - Amsterdam PB - North-Holland Pub. KW - Logic, symbolic and mathematical KW - Addresses, essays, lectures KW - Mathematics KW - Model theory ER -