Higher-order logic
[cs] Predikátová logika vyššího řádu
[de] Logik höherer Stufe
[el] Λογική ανώτερου βαθμού
[eo] Logiko de supera ordo
[es] Lógica de orden superior
[fr] Logique d'ordre supérieur
[it] Logica di ordine superiore
[ja] 高階述語論理
[ko] 고차 논리
[pt] Lógica de ordem superior