Non-classical logics, model theory, and computability :  proceedings of the Third Latin-American Sysposium on Mathematical Logic, Campinas, Brazil, July 11-17 1976 / 
edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui 
 - Amsterdam :  North-Holland Pub. ,  1977 
 - xviii, 307 p. :  ill. ;  23 cm. 
 - Studies in logic and the foundations of mathematics ;  v. 89 .
<br/><br/>Includes bibliographical references 
<br/><br/><label>ISBN: </label>0720407524 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Nonclassical mathematical logic--Congresses<br/>Model theory--Congresses<br/>Computable functions--Congresses