This is an old revision of this page, as edited by CBM(talk | contribs) at 12:11, 22 February 2010(Rating article for WikiProject Mathematics. Quality: Start / Priority: Low / Field: foundations (script assisted)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.Revision as of 12:11, 22 February 2010 by CBM(talk | contribs)(Rating article for WikiProject Mathematics. Quality: Start / Priority: Low / Field: foundations (script assisted))
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
History: Skolem (1923) the first published version.
Say sth about the possibility of presenting PRA in a logic-free equation calculus? (Propositional connectives can be replaced with pr functions.) 131.111.8.10209:07, 25 August 2007 (UTC)[reply]
