%0 Journal Article %1 journals/jsyml/OmodeoP10 %A Omodeo, Eugenio G. %A Policriti, Alberto %D 2010 %J J. Symb. Log. %K dblp %N 2 %P 459-480 %T The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml75.html#OmodeoP10 %V 75

@article{journals/jsyml/OmodeoP10, added-at = {2014-08-05T00:00:00.000+0200}, author = {Omodeo, Eugenio G. and Policriti, Alberto}, biburl = {https://www.bibsonomy.org/bibtex/25cde161b75fbc642ef2b6743b4d9e275/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1268917490}, interhash = {a9d813cd3515a06d2f78c189c54f45cd}, intrahash = {5cde161b75fbc642ef2b6743b4d9e275}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 2, pages = {459-480}, timestamp = {2015-06-18T02:34:53.000+0200}, title = {The Bernays-Schönfinkel-Ramsey class for set theory: semidecidability.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml75.html#OmodeoP10}, volume = 75, year = 2010 }