Carnielli, Walter A. <br/><br/>
Methods and applications of mathematical logic  Proceedings of the vii Latin American symposium of Mathemati / 

 - Rhoda :  American Mathematical Society ,  1985. 
 - 250 p.  25cms