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

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

second-order predicate calculus

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