sg. m. [MATH] First Order Predicate Calculus. Calcul des prédicats de premier ordre. Articles voisins : fond de panier - fondeur - fonte - foo - foobar - for - fora - forage - forçage - forçage de type