DiccionariosForoContactos

   Inglés +
Google | Forvo | +

higher-order predicate calculus

intel. Prädikatenlogik höherer Ordnung (Stufe); erweiterte Quantorenlogik