Logique D'ordre Supérieur
concept
logique formelle permettant d'utiliser des variables qui réfèrent à des fonctions ou à des prédicats
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/Logique_d'ordre_supérieur
Lien Wikidata : https://www.wikidata.org/wiki/Q1644136