Ryan, W. J. Proof of the quadratic reciprocity law in primitive recursive arithmetic. (English) Zbl 0433.03024 Math. Scand. 45, 177-197 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 03D80 Applications of computability and recursion theory 11A07 Congruences; primitive roots; residue systems 11U99 Connections of number theory and logic Keywords:primitive recursive number theory; Wilson’s theorem; Fermat’s theorem; lemma of Gauss; quadratic reciprocity law; primitive recursive arithmetic PDFBibTeX XMLCite \textit{W. J. Ryan}, Math. Scand. 45, 177--197 (1979; Zbl 0433.03024) Full Text: DOI EuDML