interprétation de Brouwer-Heyting-Kolmogorov
concept théorie en logique mathématique
Nature : concept mathématique
Catégories : concepts mathématiques · sciences · concepts abstraits
Mots du lexique : interprétation nom commun, Brouwer nom propre, Kolmogorov nom propre