DictionnaireLe forumContacts

   Anglais +
Google | Forvo | +

higher-order predicate calculus

intell. Prädikatenlogik höherer Ordnung (Stufe); erweiterte Quantorenlogik