Teoria della computabilità. Logica, teoria dei linguaggi formali by Giuseppe Attardi | Menrva Books | MenrvaBooks