Zaloguj się | Polish | Umowa użytkownika

Google | Forvo | +

higher-order predicate calculus

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

Dodaj | Zgłoś błąd | Krótki link