A.Lewis, Infinite time turing machines

by Joel David Hamkins, Andy Lewis
Venue:Journal of Symbolic Logic