Ryan, W.J. 1979. Proof of the quadratic reciprocity law in primitive recursive arithmetic. MATHEMATICA SCANDINAVICA. 45, (Dec. 1979), 177–197. DOI:https://doi.org/10.7146/math.scand.a-11835.