The rule of induction in the three variable arithmetic based on + and - J. C. Shepherdson — 1967 Annales scientifiques de l'Université de Clermont. Mathématiques