Geodesic
Proof of the quadratic reciprocity law in primitive recursive arithmetic.
Mathematica Scandinavica, Tome 45 (1979), pp. 177-197.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : primitive recursive number theory, Wilson's theorem, Fermat's theorem, lemma of Gauss, quadratic reciprocity law, primitive recursive arithmetic 
@article{MS2_1979__45_166673,
     author = {W.J. Ryan},
     title = {Proof of the quadratic reciprocity law in primitive recursive arithmetic.},
     journal = {Mathematica Scandinavica},
     pages = {177--197},
     publisher = {mathdoc},
     volume = {45},
     year = {1979},
     zbl = {0433.03024},
     url = {http://geodesic.mathdoc.fr/item/MS2_1979__45_166673/}
}
TY  - JOUR
AU  - W.J. Ryan
TI  - Proof of the quadratic reciprocity law in primitive recursive arithmetic.
JO  - Mathematica Scandinavica
PY  - 1979
SP  - 177
EP  - 197
VL  - 45
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MS2_1979__45_166673/
ID  - MS2_1979__45_166673
ER  - 
%0 Journal Article
%A W.J. Ryan
%T Proof of the quadratic reciprocity law in primitive recursive arithmetic.
%J Mathematica Scandinavica
%D 1979
%P 177-197
%V 45
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MS2_1979__45_166673/
%F MS2_1979__45_166673
W.J. Ryan. Proof of the quadratic reciprocity law in primitive recursive arithmetic.. Mathematica Scandinavica, Tome 45 (1979), pp. 177-197. http://geodesic.mathdoc.fr/item/MS2_1979__45_166673/