DiccionariosForoContactos

   Inglés +
Google | Forvo | +

second-order predicate calculus

intel. Prädikatenkalkül zweiter Ordnung (Stufe); Prädikatenlogik zweiter Ordnung (Stufe); Quantorenlogik zweiter Ordnung (Stufe)
IT Prädikatenlogik 2.Ordnung