 | 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 | | | Start | This article has been rated as Start-class on Wikipedia's content assessment scale. | | Low | This article has been rated as Low-priority on the project's priority scale. |
|
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.102 09:07, 25 August 2007 (UTC)Reply
