%0 Journal Article %1 journals/jsyml/HalpernTB81 %A Halpern, Daniel %A Tait, William W. %A Baldwin, John T. %D 1981 %J J. Symb. Log. %K dblp %N 1 %P 191-198 %T Meeting of the Association for Symbolic Logic: Biloxi, 1979. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml46.html#HalpernTB81 %V 46

@article{journals/jsyml/HalpernTB81, added-at = {2016-03-14T00:00:00.000+0100}, author = {Halpern, Daniel and Tait, William W. and Baldwin, John T.}, biburl = {https://www.bibsonomy.org/bibtex/24a7275c965b66344048a6b8c7a701642/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183740742}, interhash = {b126632b4ae19bf62c5e92529172bf4d}, intrahash = {4a7275c965b66344048a6b8c7a701642}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 1, pages = {191-198}, timestamp = {2016-03-15T11:46:13.000+0100}, title = {Meeting of the Association for Symbolic Logic: Biloxi, 1979.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml46.html#HalpernTB81}, volume = 46, year = 1981 }