scientific article; zbMATH DE number 4045734

MaRDI QIDQ3783290zbMATH OpenFDO

Authors Francis M. Boxho

Publication date 1987

zbMATH Keywords

formalization of elementary arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• SUR LES FORMULES EXPLICITES DE LA THÉORIE DES NOMBRES
• scientific article; zbMATH DE number 3028338
• scientific article; zbMATH DE number 3037222
• scientific article; zbMATH DE number 3076708
• scientific article; zbMATH DE number 3218760
• scientific article; zbMATH DE number 3049981
• De l'arithmétique à l'algèbre et à l'analyse mathématique

Cited in

(6)

• On certain axiomatizations of arithmetic of natural and integer numbers
• scientific article; zbMATH DE number 2063840 (Why is no real title available?)
• scientific article; zbMATH DE number 3218760 (Why is no real title available?)
• scientific article; zbMATH DE number 3316868 (Why is no real title available?)
• SUR LES FORMULES EXPLICITES DE LA THÉORIE DES NOMBRES
• scientific article; zbMATH DE number 3106843 (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 Q3783290)