(Q5548813)
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
axiomatization of arithmetic