|
"Erweiterung der Prädikatenlogik erster Stufe"@de
"form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics"@en
"forma de lògica de predicats que es distingeix de la lògica de primer ordre per quantificadors addicionals i, de vegades, una semàntica més forta"@ca
"forma de lógica de predicados que se distingue da lógica de primeira ordem por permitir a presença de quantificadores sobre predicados"@pt
"forma de lógica de predicados que se distingue de la lógica de primer orden por tener cuantificadores adicionales"@es
"logique formelle permettant d'utiliser des variables qui réfèrent à des fonctions ou à des prédicats"@fr
"邏輯學"@zh-hant
|