scientific article; zbMATH DE number 3902640

MaRDI QIDQ3680822zbMATH OpenFDO

Authors Shaokui Mo, Decheng Ding

Publication date 1984

zbMATH Keywords

primitive recursionRecursive arithmeticrecursive number theory

Mathematics Subject Classification ID

Computability and recursion theory (03D99) Elementary number theory (11A99)

Recommendations

• scientific article; zbMATH DE number 3898874
• A Free-Variable Theory of Primitive Recursive Arithmetic
• scientific article; zbMATH DE number 4072948
• scientific article; zbMATH DE number 4029556
• scientific article; zbMATH DE number 3863192

Cited in

(6)

• scientific article; zbMATH DE number 3898874 (Why is no real title available?)
• On the Equivalence Between Logic-Free and Logic-Bearing Systems of Primitive Recursive Arithmetic
• A Free-Variable Theory of Primitive Recursive Arithmetic
• scientific article; zbMATH DE number 4035827 (Why is no real title available?)
• scientific article; zbMATH DE number 4037859 (Why is no real title available?)
• scientific article; zbMATH DE number 4072948 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3680822)