Analisi matematica. Esplicitazioni formali operative della definizione di limite per una funzione reale di variabile reale.