Proof of the quadratic reciprocity law in primitive recursive arithmetic. - Ryan, W. J. (MATHEMATICA SCANDINAVICA, 1979)