%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