Recursive pseudo well-orderings (1968)

by J Harrison
Venue:Transactions of the Amer. Math. Soc