SłownikiForumKontakt

   Angielski +
Google | Forvo | +

first-order predicate calculus

technol. calcul de prédicats; calcul des prédicats; logique de 1er ordre; logique des prédicats