Theory of Computation https://uvatoc.github.io/week10 21.2 The Natural Numbers are Computable David Evans and Nathan Brunelle University of Virginia
Right-click 'Download' and select 'Save Link As' if the file opens in a new tab.