Proof of the quadratic reciprocity law in primitive recursive arithmetic. W.J. Ryan — 1979 Mathematica Scandinavica