אנגלית ⇄ אוקראינית גרמנית הולנדית ליטאית סינית צרפתית רוסית +

functional calculus
.בינה	Prädikatenkalkül m; Prädikatenlogik f; Funktionenkalkül m; Quantorenlogik f