A graphical presentation of Gandy’s parallel machines (Abstract (1996)

by J Byrnes, W Sieg
Venue:Bulletin of Symbolic Logic