אנגלית ⇄ גרמנית סינית +

higher-order predicate calculus
.בינה	Prädikatenlogik höherer Ordnung (Stufe); erweiterte Quantorenlogik