Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}