Revision as of 12:11, 22 February 2010 edit CBM (talk \| contribs) Extended confirmed users, File movers, Pending changes reviewers, Rollbackers 55,390 edits Rating article for WikiProject Mathematics. Quality: Start / Priority: Low / Field: foundations (script assisted) ← Previous edit		Revision as of 21:26, 28 August 2010 edit undo 70.247.164.231 (talk) please EXPLAIN Next edit →
Line 4: Say sth about the possibility of presenting PRA in a logic-free equation calculus? (Propositional connectives can be replaced with pr functions.) [[User:131.111.8.102\|131.111.8.102]] 09:07, 25 August 2007 (UTC) ==Left turn== Article takes a huge left turn at the logic-free calculus section, by using a formalism that is not explained, and apparently not even linked to the article. This is, indeed, a calculus which is free from logic! [[Special:Contributions/70.247.164.231\|70.247.164.231]] ([[User talk:70.247.164.231\|talk]]) 21:26, 28 August 2010 (UTC)

Talk:Primitive recursive arithmetic: Difference between revisions