TY  - BOOK
AU  - Arruda,A.I.
AU  - Costa,Newton C.A.da
AU  - Chuaqui,R.
ED  - Latin-American Symposium on Mathematical Logic,
TI  - Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Sysposium on Mathematical Logic, Campinas, Brazil, July 11-17 1976 
SN  - 0720407524
PY  - 1977///
CY  - Amsterdam
PB  - North-Holland Pub.
KW  - Nonclassical mathematical logic
KW  - Congresses
KW  - Model theory
KW  - Computable functions
N1  - Includes bibliographical references
ER  -