Formal theories of arithmetic
Topic: Category
From HandWiki - Reading time: 1 min
Here is a list of articles in the category Formal theories of arithmetic of the Computing portal that unifies foundations of mathematics and computations using computers. These systems provide a logical framework and a set of axioms for the formal study of arithmetic in the context of mathematical logic.
Pages in category "Formal theories of arithmetic"
The following 18 pages are in this category, out of 18 total.
Licensed under CC BY-SA 3.0 | Source: https://handwiki.org/wiki/Category:Formal_theories_of_arithmetic4 views | ↧ Download this article as ZWI file
EncycloReader
is supported by the 
KSF