Brouwer–Heyting–Kolmogorov interpretation (Q3153567)
Jump to navigation
Jump to search
No description defined
- BHK interpretation
- Brouwer-Heyting-Kolmogorov interpretation
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Brouwer–Heyting–Kolmogorov interpretation |
No description defined |
|
Statements
Identifiers
Sitelinks
Wikipedia(7 entries)
- cswiki Brouwerova–Heytingova–Kolmogorovova interpretace
- dewiki Brouwer-Heyting-Kolmogorow-Interpretation
- enwiki Brouwer–Heyting–Kolmogorov interpretation
- frwiki Interprétation de Brouwer-Heyting-Kolmogorov
- nlwiki Brouwer-Heyting-Kolmogorovinterpretatie
- ptwiki Interpretação de Brouwer–Heyting–Kolmogorov
- zhwiki BHK释义