Jump to content

Talk:Primitive recursive arithmetic

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
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)

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"