×

Proof of the quadratic reciprocity law in primitive recursive arithmetic. (English) Zbl 0433.03024

MSC:

03D80 Applications of computability and recursion theory
11A07 Congruences; primitive roots; residue systems
11U99 Connections of number theory and logic
PDFBibTeX XMLCite
Full Text: DOI EuDML