1. On Computable Numbers, with an Application to the Entscheidungsproblem
2. Systems of Logic Based on Ordinals†
3. Super-Recursive Algorithms;Burgin,2005
4. Beyond Turing Machines;Eberbach;Bull. Eur. Assoc. Theor. Comput. Sci. (EATCS Bull.),2003
5. Turing’s Ideas and Models of Computation;Eberbach,2004