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