Heyting arithmetic (Q5548813)
Jump to navigation
Jump to search
axiomatization of arithmetic
Language | Label | Description | Also known as |
---|---|---|---|
English | Heyting arithmetic |
axiomatization of arithmetic |
Statements
Identifiers
Sitelinks
Wikipedia(5 entries)
- dewiki Heyting-Arithmetik
- enwiki Heyting arithmetic
- eswiki Aritmética de Heyting
- frwiki Arithmétique de Heyting
- ptwiki Aritmética de Heyting