Wikipedia

Talk:Primitive recursive arithmetic

This is an old revision of this page, as edited by 131.111.8.102 (talk) at 09:07, 25 August 2007 (←Created page with ' History: Skolem (1923) the first published version. Say sth about the possibility of presenting PRA in a logic-free equation calculus? (Propositional connectives...'). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Latest comment: 18 years ago by 131.111.8.102

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

Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Primitive_recursive_arithmetic&oldid=153521381"