%0 Journal Article %A Marcone, Alberto %T Equivalenze tra teoremi: il programma di ricerca della reverse mathematics %J La Matematica nella società e nella cultura %D 2009 %P 101-126 %V 2 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/RIUMI_2009_1_2_1_a3/ %G it %F RIUMI_2009_1_2_1_a3