Ryan, W. J. “Proof of the Quadratic Reciprocity Law in Primitive Recursive Arithmetic”. MATHEMATICA SCANDINAVICA 45 (December 1, 1979): 177–197. Accessed April 27, 2024. https://www.mscand.dk/article/view/11835.