SłownikiForumKontakt

   Angielski +
Google | Forvo | +

second-order predicate calculus

sztuczn. Prädikatenkalkül zweiter Ordnung (Stufe); Prädikatenlogik zweiter Ordnung (Stufe); Quantorenlogik zweiter Ordnung (Stufe)
technol. Prädikatenlogik 2.Ordnung