Revision as of 10:44, 1 August 2022 edit Marc Schroeder (talk \| contribs) Extended confirmed users 2,254 edits m references into alphabetical order, and minor details ← Previous edit		Revision as of 22:32, 24 August 2022 edit undo Mgkrupa (talk \| contribs) Extended confirmed users 27,627 edits Added {{Mathematical logic}} Next edit →
Line 172: \|doi= 10.1002/malq.19610070707 }} {{Mathematical logic}} [[Category:Constructivism (mathematics)]]

Primitive recursive arithmetic: Difference between revisions