Feltrinelli Carocci - Funzioni, macchine, algoritmi. Introduzione alla teoria della computabilità