Büchi arithmetic (Q5005255)
Jump to navigation
Jump to search
mathematical logical fragment
Language | Label | Description | Also known as |
---|---|---|---|
English | Büchi arithmetic |
mathematical logical fragment |
Statements
Identifiers
Sitelinks
Wikipedia(2 entries)
- enwiki Büchi arithmetic
- ptwiki Aritmética de Büchi