Algèbre de Heyting
concept
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Algèbre_de_Heyting
Lien Wikidata : https://www.wikidata.org/wiki/Q1617044
Propriétés
- p279_labels
- treillis distributif, Q10326443, catégorie cartésienne, Q121504772, Q121504773, Q9462417