primitive recursive arithmetic (Q7243580)
Jump to navigation
Jump to search
quantifier-free formalization of the natural numbers
- Skolem arithmetic
Language | Label | Description | Also known as |
---|---|---|---|
English | primitive recursive arithmetic |
quantifier-free formalization of the natural numbers |
|
Statements
Identifiers
Sitelinks
Wikipedia(3 entries)
- enwiki Primitive recursive arithmetic
- eswiki Aritmética recursiva primitiva
- jawiki 原始帰納的算術