%0 Journal Article %1 journals/jsyml/DoraisHS15 %A Dorais, François G. %A Hirst, Jeffry L. %A Shafer, Paul %D 2015 %J J. Symb. Log. %K dblp %N 4 %P 1211-1235 %T Comparing the strength of diagonally Nonrecursive Functions in the Absence of ∑20 Induction. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml80.html#DoraisHS15 %V 80

@article{journals/jsyml/DoraisHS15, added-at = {2017-03-09T00:00:00.000+0100}, author = {Dorais, François G. and Hirst, Jeffry L. and Shafer, Paul}, biburl = {https://www.bibsonomy.org/bibtex/26dc8b67bbb1e604cf0285627f381aadb/dblp}, ee = {http://dx.doi.org/10.1017/jsl.2015.43}, interhash = {6b206775a7c770dc317bcd3caeb55954}, intrahash = {6dc8b67bbb1e604cf0285627f381aadb}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 4, pages = {1211-1235}, timestamp = {2017-03-10T11:34:22.000+0100}, title = {Comparing the strength of diagonally Nonrecursive Functions in the Absence of ∑20 Induction.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml80.html#DoraisHS15}, volume = 80, year = 2015 }