SłownikiForumKontakt

   Angielski +
Google | Forvo | +

extended predicate calculus

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