Angielski ⇄ Angielski Chiński Duński Fiński Francuski Grecki Hiszpański Japoński Niderlandzki Niemiecki Portugalski Rosyjski Szwedzki Włoski +

first-order predicate logic
sztuczn.	Prädikatenkalkül erster Ordnung (Stufe); Prädikatenlogik erster Ordnung (Stufe); Quantorenlogik erster Ordnung (Stufe)
technol.	Prädikatenlogik 1.Ordnung; Prädikatenlogik f
Angielski tezaurus
first-order predicate logic
skr., mat.	first-order logic (ssn)