- PROGRAMMA

- INTRODUZIONE

- MACCHINE URM
- Specifica
- Computazioni
- Funzioni calcolabili
- Predicati decidibili
- Calcolabilità su altri domini