%0 Journal Article %1 journals/jsyml/Carnielli86 %A Carnielli, Walter Alexandre %D 1986 %J J. Symb. Log. %K dblp %N 4 %P 1093-1103 %T Meeting of the Association for Symbolic Logic: Campinas, Brazil, 1985. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml51.html#Carnielli86 %V 51

@article{journals/jsyml/Carnielli86, added-at = {2014-08-05T00:00:00.000+0200}, author = {Carnielli, Walter Alexandre}, biburl = {https://www.bibsonomy.org/bibtex/266e67e17c4531f7bce659e62f6fe2f99/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183742257}, interhash = {f5ac9c5324972f4af2e7cf9d4eb3b769}, intrahash = {66e67e17c4531f7bce659e62f6fe2f99}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 4, pages = {1093-1103}, timestamp = {2015-06-18T02:38:22.000+0200}, title = {Meeting of the Association for Symbolic Logic: Campinas, Brazil, 1985.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml51.html#Carnielli86}, volume = 51, year = 1986 }