Theory of Computability: Programs, Machines, Effectiveness and Feasibility by R. Sommerhalder | Menrva Books