Revision as of 12:19, 27 June 2012 edit SineBot (talk \| contribs) Bots 2,564,916 edits m Signing comment by Arthur MILCHIOR - "→Skolem arithmetic ?: new section" ← Previous edit		Revision as of 21:45, 5 June 2014 edit undo 86.132.222.183 (talk) No edit summary Next edit →
Line 1: {{maths rating\|class=Start\|priority=Low\|field=foundations}} ==History== History: Skolem (1923) the first published version.

Talk:Primitive recursive arithmetic: Difference between revisions