Ryan WJ. Proof of the quadratic reciprocity law in primitive recursive arithmetic. Math. Scand. [Internet]. 1979 Dec. 1 [cited 2026 Sep. 8];45:177-9. Available from: https://journals.msp.org/mscand/article/view/1816