Title: Teoria degli algoritmi e della calcolabilità
Subjects: Formal languages, Machine theory, Recursive functions