First-order arithmetic

From Wikipedia, the free encyclopedia
Revision as of 10:27, 8 January 2022 by imported>Felix QW (The previous target only treats Peano arithmetic, while the page which the redirect refers to now gives an overview of different first-order theories of arithmetic.)
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Redirect page
Jump to navigation Jump to search

Redirect to:

Template:Redirect with possibilities

Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=First-order_arithmetic&oldid=3353386"