22 mar 2010
- 20:2720:27, 22 mar 2010 diff cron −1 Funzione parziale Nessun oggetto della modifica
- 20:2520:25, 22 mar 2010 diff cron +20 Teorema di Rice + funzione totale
- 20:2020:20, 22 mar 2010 diff cron −4 Aritmetica di Robinson →Definizione