Funzioni, macchine, algoritmi. Introduzione alla teoria della computabilità.