Robinson arithmetic (Q928884)
Jump to navigation
Jump to search
axiomatic logical system
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Robinson arithmetic |
axiomatic logical system |
Statements
Identifiers
Sitelinks
Wikipedia(7 entries)
- cswiki Robinsonova aritmetika
- dewiki Robinson-Arithmetik
- enwiki Robinson arithmetic
- frwiki Arithmétique de Robinson
- itwiki Aritmetica di Robinson
- jawiki ロビンソン算術
- ptwiki Aritmética de Robinson