%0 Journal Article %1 journals/jsyml/DavisLS86 %A Davis, Martin %A López-Escobar, E. G. K. %A Sieg, Wilfried %D 1986 %J J. Symb. Log. %K dblp %N 4 %P 1085-1092 %T Meeting of the Association for Symbolic Logic: Washington, D. C., 1985. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml51.html#DavisLS86 %V 51

@article{journals/jsyml/DavisLS86, added-at = {2017-05-28T00:00:00.000+0200}, author = {Davis, Martin and López-Escobar, E. G. K. and Sieg, Wilfried}, biburl = {https://www.bibsonomy.org/bibtex/25f01f6d6cbfb4b96ab66b6e497c21eb1/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183742256}, interhash = {8064b5ff335e2753da9e159690500fe5}, intrahash = {5f01f6d6cbfb4b96ab66b6e497c21eb1}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 4, pages = {1085-1092}, timestamp = {2017-05-31T08:05:09.000+0200}, title = {Meeting of the Association for Symbolic Logic: Washington, D. C., 1985.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml51.html#DavisLS86}, volume = 51, year = 1986 }