Ragionando sul fallimento finito e le computazioni infinite usando l’interpretazione astratta Roberta Gori (2000) Bollettino dell'Unione Matematica Italiana