Angielski ⇄ Angielski Chiński Duński Fiński Francuski Grecki Hiszpański Japoński Niderlandzki Niemiecki Portugalski Rosyjski Szwedzki Włoski +

first-order predicate logic
technol.	calcul de prédicats; calcul des prédicats; logique de 1er ordre; logique des prédicats
Angielski tezaurus
first-order predicate logic
skr., mat.	first-order logic (ssn)