Q3153567

From Wikidata
Jump to: navigation, search

Brouwer–Heyting–Kolmogorov interpretation(Q3153567)

No description defined
  • BHK interpretation
[edit]
Language Label Description Also known as
English
Brouwer–Heyting–Kolmogorov interpretation
No description defined
  • BHK interpretation

Statements