Terms containing logic order

Subject	English	German
IT	first order logic	Prädikatenlogik 1.Ordnung
IT	first order logic	Prädikatenlogik
gen.	first order logic	Prädikatenlogik der ersten Stufe
AI.	first-order logic	Prädikatenkalkül erster Ordnung (Stufe)
AI.	first-order logic	Quantorenlogik erster Ordnung (Stufe)
AI.	first-order logic	Prädikatenlogik erster Ordnung (Stufe)
comp.	first-order logic	Prädikatenkalkül erster Stufe
AI.	First-order Logic Program	FOL-Programm (Programm "Logik erster Ordnung"; ein Prüfer für Beweise im Prädikatenkalkül erster Ordnung)
AI.	first-order predicate logic	Prädikatenlogik erster Ordnung (Stufe)
AI.	first-order predicate logic	Quantorenlogik erster Ordnung (Stufe)
IT	first-order predicate logic	Prädikatenlogik 1.Ordnung
IT	first-order predicate logic	Prädikatenlogik
AI.	first-order predicate logic	Prädikatenkalkül erster Ordnung (Stufe)
gen.	higher-order logic	Logik höherer Stufe
IT	logic order	logischer Befehl
automat.	order of logic function	Ordnung der logischen Funktion
commun.	order-command transformation logic	Befehl-Ausführung Transformations-Logik
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
AI.	zero-order logic	Aussagenlogik
AI.	zero-order logic	Logik nullter Ordnung