Well-partial orderings and hierarchies (0)

by D H J de Jongh, R Parikh
Venue:A 80, Indag. Math