Latin-American Symposium on Mathematical Logic,  1976.  State University of Campinas, <br/><br/>
Non-classical logics, model theory, and computability :  proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / 
edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui. 
 -  North-Holland Pub. Co. ;  sale distributors for the U.S.A. and Canada, Elsevier/North-Holland,  1977. 
 - xviii, 307 p. :  ill. ;  23 cm. 
 - Studies in logic and the foundations of mathematics ;  v. 89 .
<br/><br/> Errata slip inserted. 
<br/><br/>Includes bibliographies. 
<br/><br/><label>ISBN: </label>0720407524 
<br/><br/><label>LCCN: </label>77007366  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Nonclassical mathematical logic--Congresses.<br/>Model theory--Congresses.<br/>Computable functions--Congresses.
<br/><br/><label>Subjects--Index Terms: </label>მათემატიკა არაკლასიკური მათემატიკური ლოგიკა მოდელირების თეორია გამოთვლითი ფუნქციები კონგრესები 
<br/><br/><label>LC Class. No.: </label>QA9.4  / .L37 1976 
<br/><br/><label>Dewey Class. No.: </label>511/.8 
<br/><br/><label>Universal Decimal Class. No.: </label>517.11