On some generalizations of the primitive recursive arithmetic
extension of primitive recursive arithmetic
scientific article; zbMATH DE number 2111112