Length of Polynomial Ascending Chains and Primitive Recursiveness.

From MaRDI portal
Publication:4274103