Proof-theoretic investigations on Kruskal’s theorem (1993)

by M Rathjen, A Weiermann
Venue:Ann. Pure Appl. Logic