Terms containing second-order logic

Subject	English	German
IT	second order logic	Prädikatenlogik 2.Ordnung
comp.	second order logic	Prädikatenlogik zweiter Stufe
AI.	second-order logic	Quantorenlogik zweiter Ordnung (Stufe)
AI.	second-order logic	Prädikatenlogik zweiter Ordnung (Stufe)
AI.	second-order logic	Prädikatenkalkül zweiter Ordnung (Stufe)
IT	second-order predicate logic	Prädikatenlogik 2.Ordnung