Generalizations of the Kruskal-Friedman Theorems (1990)

by L Gordeev
Venue:Journal of Symbolic Logic