DictionnaireLe forumContacts

   Anglais +
Google | Forvo | +

second-order predicate calculus

informat. Prädikatenlogik 2.Ordnung
intell. Prädikatenkalkül zweiter Ordnung (Stufe); Prädikatenlogik zweiter Ordnung (Stufe); Quantorenlogik zweiter Ordnung (Stufe)