Terms for subject Information technology containing logic order

English	German
first order logic	Prädikatenlogik
first order logic	Prädikatenlogik 1.Ordnung
first-order predicate logic	Prädikatenlogik
first-order predicate logic	Prädikatenlogik 1.Ordnung
logic order	logischer Befehl
second order logic	Prädikatenlogik 2.Ordnung
second-order predicate logic	Prädikatenlogik 2.Ordnung