%0 Journal Article %1 journals/mscs/DAgostinoM18 %A D'Agostino, Giovanna %A Marcone, Alberto %D 2018 %J Math. Struct. Comput. Sci. %K dblp %N 3 %P 412-428 %T The logic of the reverse mathematics zoo. %U http://dblp.uni-trier.de/db/journals/mscs/mscs28.html#DAgostinoM18 %V 28

@article{journals/mscs/DAgostinoM18, added-at = {2020-04-01T00:00:00.000+0200}, author = {D'Agostino, Giovanna and Marcone, Alberto}, biburl = {https://www.bibsonomy.org/bibtex/26557c379a9bb6506c277363093729ca4/dblp}, ee = {https://doi.org/10.1017/S0960129516000323}, interhash = {864a57d69c1df4d49b43975a7a3b2996}, intrahash = {6557c379a9bb6506c277363093729ca4}, journal = {Math. Struct. Comput. Sci.}, keywords = {dblp}, number = 3, pages = {412-428}, timestamp = {2020-04-02T11:40:52.000+0200}, title = {The logic of the reverse mathematics zoo.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs28.html#DAgostinoM18}, volume = 28, year = 2018 }