DictionaryForumContacts

   English +
Google | Forvo | +

higher-order predicate calculus

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