Capitolo 3. L'idea di computabilità
Firenze University Press