The rule of induction in the three variable arithmetic based on and
Annales scientifiques de l'Université de Clermont. Mathématiques, Tome 35 (1967) no. 4, pp. 25-31
Cet article a éte moissonné depuis la source Numdam
@article{ASCFM_1967__35_4_25_0,
author = {Shepherdson, J. C.},
title = {The rule of induction in the three variable arithmetic based on $+$ and $-$},
journal = {Annales scientifiques de l'Universit\'e de Clermont. Math\'ematiques},
pages = {25--31},
year = {1967},
publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
volume = {35},
number = {4},
mrnumber = {276089},
language = {en},
url = {http://geodesic.mathdoc.fr/item/ASCFM_1967__35_4_25_0/}
}
TY - JOUR AU - Shepherdson, J. C. TI - The rule of induction in the three variable arithmetic based on $+$ and $-$ JO - Annales scientifiques 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://geodesic.mathdoc.fr/item/ASCFM_1967__35_4_25_0/ LA - en ID - ASCFM_1967__35_4_25_0 ER -
%0 Journal Article %A Shepherdson, J. C. %T The rule of induction in the three variable arithmetic based on $+$ and $-$ %J Annales scientifiques 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://geodesic.mathdoc.fr/item/ASCFM_1967__35_4_25_0/ %G en %F ASCFM_1967__35_4_25_0
Shepherdson, J. C. The rule of induction in the three variable arithmetic based on $+$ and $-$. Annales scientifiques de l'Université de Clermont. Mathématiques, Tome 35 (1967) no. 4, pp. 25-31. http://geodesic.mathdoc.fr/item/ASCFM_1967__35_4_25_0/