TY  - JOUR
AU  - Marcone, Alberto
TI  - Equivalenze tra teoremi: il programma di ricerca della reverse mathematics
JO  - La Matematica nella società e nella cultura
PY  - 2009
SP  - 101
EP  - 126
VL  - 2
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RIUMI_2009_1_2_1_a3/
LA  - it
ID  - RIUMI_2009_1_2_1_a3
ER  -