![](/img/cover-not-exists.png)
Well-Quasiordering Finite Trees with Gap-Condition. Proof of Harvey Friedman's Conjecture
Igor KrizVolume:
130
Language:
english
Journal:
Annals of Mathematics (Second Series)
DOI:
10.2307/1971481
Date:
July, 1989
File:
PDF, 577 KB
english, 1989