Talk:Primitive recursive arithmetic

From Wikipedia, the free encyclopedia

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)