Ryan, W. J. Proof of the Quadratic Reciprocity Law in Primitive Recursive Arithmetic. Math. Scand. 1979, 45, 177-197.