СловникиФорумКонтакти

   Англійська +
Google | Forvo | +

higher-order predicate calculus

шт.інтел. Prädikatenlogik höherer Ordnung (Stufe); erweiterte Quantorenlogik