Logique D'ordre Supérieur

concept

logique formelle permettant d'utiliser des variables qui réfèrent à des fonctions ou à des prédicats

Propriétés

Catégories