First-order arithmetic: Revision history

Jump to navigation Jump to search
Template:FlatlistExternal tools:

Template:Endflatlist

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

8 January 2022

  • curprev 10:2710:27, 8 January 2022 imported>Felix QW 86 bytes +86 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.
Retrieved from "http://debianws.lexgopc.com/wiki143/index.php?title=First-order_arithmetic"