Hamkins and Andy Lewis, Infinite time Turing machines (2000)

by Joel David
Venue:The Journal of Symbolic Logic