Arithmétique de Heyting

concept

axiomatisation de l'arithmétique

Liens externes

Lien Wikipedia : https://fr.wikipedia.org/wiki/Arithmétique_de_Heyting

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

Propriétés

Catégories

théories scientifiques sciences concepts abstraits

Mots liés

arithmétique NOM Heyting NOM PROPRE