calcul de prédicats,calcul des prédicats,logique de 1er ordre,logique des prédicats /IT-TECH/
[DE] Prädikatenlogik; Prädikatenlogik 1.Ordnung
[EN] first order logic; first-order predicate calculus; first-order predicate logic; predicate calculus; predicate logic
[FR] calcul de prédicats; calcul des prédicats; logique de 1er ordre; logique des prédicats