%0 Journal Article %1 journals/jsyml/BaldwinKK85 %A Baldwin, John T. %A Kaufmann, Matt %A Knight, Julia F. %D 1985 %J J. Symb. Log. %K dblp %N 1 %P 284-286 %T Meeting of the Association for Symbolic Logic: Notre Dame, Indiana, 1984. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml50.html#BaldwinKK85 %V 50

@article{journals/jsyml/BaldwinKK85, added-at = {2016-03-14T00:00:00.000+0100}, author = {Baldwin, John T. and Kaufmann, Matt and Knight, Julia F.}, biburl = {https://www.bibsonomy.org/bibtex/230655954d962e56bd9d14caaeb2a15b7/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183741806}, interhash = {527681cfbda588f9459fb07937c89f49}, intrahash = {30655954d962e56bd9d14caaeb2a15b7}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 1, pages = {284-286}, timestamp = {2016-03-15T11:46:13.000+0100}, title = {Meeting of the Association for Symbolic Logic: Notre Dame, Indiana, 1984.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml50.html#BaldwinKK85}, volume = 50, year = 1985 }