Licensed
Unlicensed
Requires Authentication
Ordinal Computability
An Introduction to Infinitary Machines
Volume 9 in the series
De Gruyter Series in Logic and Its Applications