Peano arithmetic

Revision as of 08:50, 20 May 2024 by imported>D.Lazard (the common use of "Peano arithmetic" does not refers to first order logic)
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Redirect page