On Π 0 1 classes and their ranked points, Notre Dame (1991)

by R Downey
Venue:Journal of Formal Logic