@article{1364482,
      note = {Sponsored by the Sociedade Brasileira de Lógica,  Sociedade Brasileira de Matemática, and the Association  for Symbolic Logic.},
      author = {Carnielli, Walter A. and Alcantara, Luiz Paulo de,},
      url = {http://library.usi.edu/record/1364482},
      title = {Methods and applications of mathematical logic :  proceedings of the VII Latin American Symposium on  Mathematical Logic held July 29-August 2, 1985 /.  Latin-American Symposium on Mathematical Logic},
      recid = {1364482},
      pages = {1 online resource (264 pages) :},
}