@article{RIUMI_2009_1_2_1_a3, author = {Marcone, Alberto}, title = {Equivalenze tra teoremi: il programma di ricerca della reverse mathematics}, journal = {La Matematica nella societ\`a e nella cultura}, pages = {101--126}, publisher = {mathdoc}, volume = {Ser. 1, 2}, number = {1}, year = {2009}, zbl = {1186.03020}, mrnumber = {2537477}, language = {it}, url = {http://geodesic.mathdoc.fr/item/RIUMI_2009_1_2_1_a3/} }