English ⇄ Chinese Danish Dutch Finnish French German Greek Italian Portuguese Russian Spanish Swedish

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

second order logic: 2 phrases in 1 subject

Information technology

2