An ordinal bound for the set of polynomial functions with exponentiation (Q1245856)

From MaRDI portal