%0 Journal Article %A Shepherdson, J. C. %T The rule of induction in the three variable arithmetic based on $+$ and $-$ %J Annales de la faculté des sciences de l'université de Clermont. Mathématiques %D 1967 %P 25-31 %V 35 %N 4 %I UER de Sciences exactes et naturelles de l'Université de Clermont %U http://www.numdam.org/item/ASCFM_1967__35_4_25_0/ %G en %F ASCFM_1967__35_4_25_0