DictionaryForumContacts

   English +
Google | Forvo | +

extended predicate calculus

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