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

Cached

Download Links

by Michael Rathjen , Andreas Weiermann
Venue:Ann. Pure Appl. Logic
Citations:23 - 3 self