## Proof-theoretic investigations on Kruskal's theorem (1993)

by
Michael Rathjen
,
Andreas Weiermann

Venue: | Ann. Pure Appl. Logic |

Citations: | 31 - 3 self |