Reverse mathematics and ordinal exponent
β
Jeffry L. Hirst
π
Article
π
1994
π
Elsevier Science
π
English
β 979 KB