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

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

first-order predicate calculus

шт.інтел. Prädikatenkalkül erster Ordnung (Stufe); Prädikatenlogik erster Ordnung (Stufe); Quantorenlogik erster Ordnung (Stufe)
IT Prädikatenlogik 1.Ordnung; Prädikatenlogik f