Inglés ⇄ Alemán Chino Danés Español Finlandés Francés Griego Inglés Italiano Japonés Neerlandés Portugués Ruso Sueco +

first-order predicate logic
intel.	Prädikatenkalkül erster Ordnung (Stufe); Prädikatenlogik erster Ordnung (Stufe); Quantorenlogik erster Ordnung (Stufe)
IT	Prädikatenlogik 1.Ordnung; Prädikatenlogik f
Inglés tesauro
first-order predicate logic
abrev., mat.	first-order logic (ssn)