Alan Turing, Turing Machines and Stronger (Informatica, 2025)
Alan Turing, Turing Machines and Stronger