%0 Journal Article %1 journals/ndjfl/HirstM11 %A Hirst, Jeffry L. %A Mummert, Carl %D 2011 %J Notre Dame J. Formal Log. %K dblp %N 2 %P 149-162 %T Reverse Mathematics and Uniformity in Proofs without Excluded Middle. %U http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl52.html#HirstM11 %V 52

@article{journals/ndjfl/HirstM11, added-at = {2020-05-21T00:00:00.000+0200}, author = {Hirst, Jeffry L. and Mummert, Carl}, biburl = {https://www.bibsonomy.org/bibtex/2d2e0e01e023919f21e9521fc81d7da13/dblp}, ee = {https://www.wikidata.org/entity/Q57951149}, interhash = {57b4d35a129fba92b1348c10e69bc807}, intrahash = {d2e0e01e023919f21e9521fc81d7da13}, journal = {Notre Dame J. Formal Log.}, keywords = {dblp}, number = 2, pages = {149-162}, timestamp = {2020-05-23T12:16:10.000+0200}, title = {Reverse Mathematics and Uniformity in Proofs without Excluded Middle.}, url = {http://dblp.uni-trier.de/db/journals/ndjfl/ndjfl52.html#HirstM11}, volume = 52, year = 2011 }