Interprétation de Brouwer-heyting-kolmogorov

concept

théorie en logique mathématique

Liens externes

Lien Wikipedia : https://fr.wikipedia.org/wiki/Interprétation_de_Brouwer-Heyting-Kolmogorov

Lien Wikidata : https://www.wikidata.org/wiki/Q3153567

Propriétés

Catégories

concepts mathématiques sciences concepts abstraits

Mots liés

interprétation NOM Heyting NOM PROPRE