Brouwerova%E2%80%93Heytingova%E2%80%93Kolmogorovova_interpretaceBrouwer%E2%80%93Heyting%E2%80%93Kolmogorov_interpretationInterpr%C3%A9tation_de_Brouwer-Heyting-KolmogorovBrouwer-Heyting-KolmogorovinterpretatieInterpreta%C3%A7%C3%A3o_de_Brouwer%E2%80%93Heyting%E2%80%93KolmogorovQ3153567BHK%E9%87%8A%E4%B9%89
about
description
logická interpretace
@cs
teoria de lògica matemàtica
@ca
théorie en logique mathématique
@fr
name
BHK解釈
@ja
BHK释义
@zh
Brouwer-Heyting-Kolmogorovinterpretatie
@nl
Brouwerova–Heytingova–Kolmogorovova interpretace
@cs
Brouwer–Heyting–Kolmogorov interpretation
@en
Interpretació de Brouwer-Heyting-Kolmogorov
@ca
Interpretação de Brouwer–Heyting–Kolmogorov
@pt
Interpretação de Brouwer–Heyting–Kolmogorov
@pt-br
Interprétation de Brouwer-Heyting-Kolmogorov
@fr
интерпретация Брауэра — Гейтинга — Колмогорова
@ru
type
label
BHK解釈
@ja
BHK释义
@zh
Brouwer-Heyting-Kolmogorovinterpretatie
@nl
Brouwerova–Heytingova–Kolmogorovova interpretace
@cs
Brouwer–Heyting–Kolmogorov interpretation
@en
Interpretació de Brouwer-Heyting-Kolmogorov
@ca
Interpretação de Brouwer–Heyting–Kolmogorov
@pt
Interpretação de Brouwer–Heyting–Kolmogorov
@pt-br
Interprétation de Brouwer-Heyting-Kolmogorov
@fr
интерпретация Брауэра — Гейтинга — Колмогорова
@ru
altLabel
BHK interpretace
@cs
BHK interpretation
@en
prefLabel
BHK解釈
@ja
BHK释义
@zh
Brouwer-Heyting-Kolmogorovinterpretatie
@nl
Brouwerova–Heytingova–Kolmogorovova interpretace
@cs
Brouwer–Heyting–Kolmogorov interpretation
@en
Interpretació de Brouwer-Heyting-Kolmogorov
@ca
Interpretação de Brouwer–Heyting–Kolmogorov
@pt
Interpretação de Brouwer–Heyting–Kolmogorov
@pt-br
Interprétation de Brouwer-Heyting-Kolmogorov
@fr
интерпретация Брауэра — Гейтинга — Колмогорова
@ru