TY  - JOUR
AU  - Shepherdson, J. C.
TI  - The rule of induction in the three variable arithmetic based on $+$ and $-$
JO  - Annales de la faculté des sciences de l'université de Clermont. Mathématiques
PY  - 1967
SP  - 25
EP  - 31
VL  - 35
IS  - 4
PB  - UER de Sciences exactes et naturelles de l'Université de Clermont
UR  - http://www.numdam.org/item/ASCFM_1967__35_4_25_0/
LA  - en
ID  - ASCFM_1967__35_4_25_0
ER  -