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

Zbl
Mots-clés : primitive recursive number theory, Wilson's theorem, Fermat's theorem, lemma of Gauss, quadratic reciprocity law, primitive recursive arithmetic 
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/
@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},
     year = {1979},
     volume = {45},
     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
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
%U http://geodesic.mathdoc.fr/item/MS2_1979__45_166673/
%F MS2_1979__45_166673