Return to Article Details Proof of the quadratic reciprocity law in primitive recursive arithmetic. Download Download PDF