The rule of induction in the three variable arithmetic based on $+$ and $-$

Shepherdson, J. C.

Geodesic

Parcourir par

The rule of induction in the three variable arithmetic based on

+

and

-

Shepherdson, J. C.

Annales scientifiques de l'Université de Clermont. Mathématiques, Tome 35 (1967) no. 4, pp. 25-31

Voir la notice de l'article provenant de la source Numdam

EuDML MR

@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},
     publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
     volume = {35},
     number = {4},
     year = {1967},
     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/