lógica de predicados; predikátumlogika; исчисление предикатов; Prädikatenlogik; منطق مسند; 谓词逻辑; prædikatslogik; 述語論理; Predikatlogik; предикатна логіка; 謂詞邏輯; Predikaattilogiikka; Предикаттық логика; predikata logiko; предикатна логика; logica dei predicati; logique des prédicats; лёгіка прэдыкатаў; lógica de predicados; Predikaatlogika; predikatų logika; predikatna logika; 술어 논리; Κατηγορηματική λογική; logika predykatów; predikatlogikk; predicatenlogica; Predikátová logika; Предикатна логика; תחשיב הפרדיקטים; Predikaatloogika; predicate logic; lògica de predicats; 谓词逻辑; Predikátová logika; familia de sistemas lógicos; subfield of logic; Familie logischer Systeme; symbolisen logiikan osa-alue; разьдзел лёгікі; 逻辑类型; 逻辑类型; specialisme binnen de logica; lógica predicativa; calcul des relations; calcul des prédicats; прэдыкатная лёгіка; предикатная логика; логика предикатов; Prädikatorenlogik; Prädikatenkalkül; Quantorenlogik; منطق محمولات; منطق دسته-یکم; منطق دسته یکم; منطق مسندی; منطق مرتبه اول; 述詞邏輯; 謂詞邏輯; funktionslogik; relationslogik; 述語論理学; Predikat; predikatkalkyle; kvantorlogikk; predicaatlogica; predikaatlogica; predikatenlogica; predicaat; predicatencalculus; predikatencalculus; 술어논리; Ensimmäisen kertaluvun predikaattilogiikka; Ensimmäisen kertaluvun logiikka; Toisen kertaluvun logiikka; Toisen kertaluvun predikaattilogiikka; Predikaattikalkyyli; predikátumkalkulus; elsőrendű logika; calcolo dei predicati; Predikátový kalkul; Rozšíření predikátové teorie; תחשיב פרדיקטים