SłownikiForumKontakt

   Angielski +
Google | Forvo | +

first-order predicate calculus

sztuczn. Prädikatenkalkül erster Ordnung (Stufe); Prädikatenlogik erster Ordnung (Stufe); Quantorenlogik erster Ordnung (Stufe)
technol. Prädikatenlogik 1.Ordnung; Prädikatenlogik f