first order logic,first-order predicate calculus,first-order predicate logic,predicate calculus,predicate logic /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