Methods and applications of mathematical logic :  proceedings of the VII Latin American Symposium on mathematical logic, held July 29-August 2, 1985 / 
Walter A. Carnielli and Luiz Paulo de Alcantara, editors. 
 - Providence, R.I. :  American Mathematical Society,  1988. 
 - xi, 250 p. ;  25 cm. 
 - Contemporary mathematics  vol. 69  0271-4132 ; .
<br/><br/> Sponsored by the Sociedade Brasileira de Logica, Sociedade Brasileira de Matematica, and the Association for Symbolic Logic. 
<br/><br/>Includes bibliographies. 
<br/><br/><label>ISBN: </label>0821850768 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical--Congresses.